PAPERS

Title:Computational Challenges in Bounded Model Checking
Links:Document as PDF
Authors:Edmund Clarke EMail
Daniel Kroening EMail
Joel Ouaknine EMail
Ofer Strichman EMail
Remarks:
Topics:

Bibtex:

@article{ckos2005,
  AUTHOR    = { Clarke, Edmund
                and Kroening, Daniel
                and Ouaknine, Joel
                and Strichman, Ofer },
  TITLE     = { Computational Challenges in Bounded Model Checking },
  YEAR      = { 2005 },
  PUBLISHER = { Springer },
  PAGES     = { 174--183  },
  JOURNAL   = { Software Tools for Technology Transfer (STTT) },
  VOLUME    = { 7 },
  MONTH     = { April },
  NUMBER    = { 2 },
}

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