Completeness and Complexity of Bounded Model Checking
Edmund Clarke‚ Daniel Kroening‚ Ofer Strichman and Joel Ouaknine
Details
| 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 |
Links
Related pages
|
People |