PAPERS

Title:Completeness and Complexity of Bounded Model Checking
Links:Document as PDF
Authors:Edmund Clarke EMail
Daniel Kroening EMail
Ofer Strichman EMail
Joel Ouaknine EMail
Remarks:
Topics:

Bibtex:

@inproceedings{ckso04,
  AUTHOR    = { Clarke, Edmund
                and Kroening, Daniel
                and Strichman, Ofer
                and Ouaknine, Joel },
  TITLE     = { Completeness and Complexity of Bounded Model Checking },
  BOOKTITLE = { 5th International Conference on Verification, Model Checking, and Abstract Interpretation },
  YEAR      = { 2004 },
  PAGES     = { 85--96 },
  ISBN      = { 3-540-20803-8 },
  SERIES    = { Lecture Notes in Computer Science },
  VOLUME    = { 2937 },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.