Symbolic model checking for asynchronous Boolean programs
Cook, Byron, Kroening, Daniel and Sharygina, Natasha infobook title | Proceedings of SPIN 2005 |
editor | P. Godefroid |
number | 3639 |
pages | 75—90 |
publisher | Springer |
series | Lecture Notes in Computer Science |
year | 2005 |
links
BibTeX
related pages
|
