Symbolic model checking for asynchronous Boolean programs
Byron Cook‚ Daniel Kroening and Natasha Sharygina
Details
| Book Title |
Proceedings of SPIN 2005 |
| Editor |
P. Godefroid |
| Number |
3639 |
| Pages |
75–90 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Year |
2005 |
Links
Related pages
|
People |