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