Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop.

Himanshu Jain Franjo Ivancic Aarti Gupta Ilya Shlyakhter Chao Wang Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop. 137-151 2006 conf/cav/2006 CAV http://dx.doi.org/10.1007/11817963_15 db/conf/cav/cav2006.html#JainIGSW06