| Title: | Boom: Taking Boolean Program Model Checking One Step Further |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Gerard Basler |
| Matthew Hague | |
| Daniel Kroening EMail | |
| Luke Ong | |
| Thomas Wahl | |
| Haoxian Zhao | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{bhkowz2010,
AUTHOR = { Basler, Gerard
and Hague, Matthew
and Kroening, Daniel
and Ong, Luke
and Wahl, Thomas
and Zhao, Haoxian },
TITLE = { Boom: Taking {Boolean} Program {Model} {Checking} One Step Further },
BOOKTITLE = { Proceedings of TACAS 2010 },
YEAR = { 2010 },
PUBLISHER = { Springer },
PAGES = { 145--149 },
SERIES = { LNCS },
VOLUME = { 6015 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.