| Title: | Symbolic model checking for asynchronous Boolean programs |
|---|---|
| Links: | Document as PDF |
| Authors: | Byron Cook |
| Daniel Kroening EMail | |
| Natasha Sharygina | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{CKS05,
AUTHOR = { Cook, Byron
and Kroening, Daniel
and Sharygina, Natasha },
TITLE = { Symbolic model checking for asynchronous {Boolean} programs },
BOOKTITLE = { Proceedings of SPIN 2005 },
YEAR = { 2005 },
PUBLISHER = { Springer },
PAGES = { 75--90 },
SERIES = { Lecture Notes in Computer Science },
NUMBER = { 3639 },
EDITOR = { P. Godefroid },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.