HORNSAT, Model Checking, Verification and games (Extended Abstract)

Authors:
Sandeep K. Shukla;Harry B. Hunt, III;Daniel J. Rosenkrantz
Affiliations:
-;-;-
Venue:
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Year:
1996

Citing 0
Cited 3

Automated Source-Level Error Localization in Hardware Designs

IEEE Design & Test
Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems

SPIN '08 Proceedings of the 15th international workshop on Model Checking Software
Game Characterizations of Process Equivalences

APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract