Skip to main content

Completeness and Complexity of Bounded Model Checking

Edmund Clarke‚ Daniel Kroening‚ Ofer Strichman and Joel Ouaknine

Book Title
5th International Conference on Verification‚ Model Checking‚ and Abstract Interpretation
ISBN
3−540−20803−8
Pages
85–96
Series
Lecture Notes in Computer Science
Volume
2937
Year
2004