Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang. Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop. In Thomas Ball, Robert B. Jones, editors, Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Volume 4144 of Lecture Notes in Computer Science, pages 137-151, Springer, 2006. [doi]
@inproceedings{JainIGSW06,
title = {Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop},
author = {Himanshu Jain and Franjo Ivancic and Aarti Gupta and Ilya Shlyakhter and Chao Wang},
year = {2006},
doi = {10.1007/11817963_15},
url = {http://dx.doi.org/10.1007/11817963_15},
tags = {refinement, abstraction},
researchr = {https://researchr.org/publication/JainIGSW06},
cites = {0},
citedby = {0},
pages = {137-151},
booktitle = {Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
editor = {Thomas Ball and Robert B. Jones},
volume = {4144},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-37406-X},
}