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

Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang

Browse the full CAV paper archive.