@inproceedings{jigsw06, author = {Himanshu Jain and Franjo Ivancic and Aarti Gupta and Ilya Shlyakhter and Chao Wang}, title = {Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop.}, booktitle = {Computer Aided Verification (CAV), 18th International Conference}, year = {2006}, pages = {137-151} }