Sharon Barner, Cindy Eisner, Ziv Glazberg, Daniel Kroening, Ishai Rabinovitz. ExpliSAT: Guiding SAT-Based Software Verification with Explicit States. In Eyal Bin, Avi Ziv, Shmuel Ur, editors, Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers. Volume 4383 of Lecture Notes in Computer Science, pages 138-154, Springer, 2006. [doi]
@inproceedings{BarnerEGKR06,
title = {ExpliSAT: Guiding SAT-Based Software Verification with Explicit States},
author = {Sharon Barner and Cindy Eisner and Ziv Glazberg and Daniel Kroening and Ishai Rabinovitz},
year = {2006},
doi = {10.1007/978-3-540-70889-6_11},
url = {http://dx.doi.org/10.1007/978-3-540-70889-6_11},
tags = {rule-based},
researchr = {https://researchr.org/publication/BarnerEGKR06},
cites = {0},
citedby = {0},
pages = {138-154},
booktitle = {Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers},
editor = {Eyal Bin and Avi Ziv and Shmuel Ur},
volume = {4383},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-70888-9},
}