Skip to main content

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