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 Verlag }, 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.