CAVEAT: Technique and Tool for Computer Aided VErification And Transformation

Authors:
E. Pascal Gribomont;Didier Rossetto
Affiliations:
-;-
Venue:
Proceedings of the 7th International Conference on Computer Aided Verification
Year:
1995

Citing 0
Cited 2

Using BDDs with Combinations of Theories

LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
System Description: Using OBDD's for the validation of Skolem verification conditions

CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction

Quantified Score

Hi-index	0.00

Visualization

Abstract