Skip to main content

Symbolic model checking for asynchronous Boolean programs

Byron Cook‚ Daniel Kroening and Natasha Sharygina

Book Title
Proceedings of SPIN 2005
Editor
P. Godefroid
Number
3639
Pages
75–90
Publisher
Springer
Series
Lecture Notes in Computer Science
Year
2005