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