Title: | Bounded Model Checking |
---|---|
Links: | |
Authors: | A. Biere |
A. Cimatti | |
Edmund Clarke EMail | |
Ofer Strichman EMail | |
Y. Zhu | |
Remarks: | |
Topics: |
Bibtex:
@InBook{BCCSZ03, AUTHOR = { Biere, A. and Cimatti, A. and Clarke, Edmund and Strichman, Ofer and Zhu, Y. }, TITLE = { Bounded Model Checking }, NOTE = { (to appear) }, YEAR = { 2003 }, SERIES = { Advances In Computers }, NUMBER = { 60 }, EDITOR = { Marvin Zelkowitz }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.