Approximate symbolic model checking using overlapping projections

Authors:
David L. Dill;Gaurishankar Govindaraju
Affiliations:
-;-
Venue:
Approximate symbolic model checking using overlapping projections
Year:
2000

Citing 0
Cited 1

SAT-Based Verification without State Space Traversal

FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design

Quantified Score

Hi-index	0.00

Visualization

Abstract