ExpliSAT: Guiding SAT−Based Software Verification with Explicit States
Sharon Barner‚ Cindy Eisner‚ Ziv Glazberg‚ Daniel Kroening and Ishai Rabinovitz
Details
| Book Title |
Proceedings of HVC 2006 |
| Pages |
138–154 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Volume |
4383 |
| Year |
2007 |
Links
Related pages
|
People |