Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop

14 years 4 months ago

e Abstraction and Refinement Loop Himanshu Jain1,2, Franjo Ivanci

Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya S

CAV 2006 | Hardware | Predicate Abstraction | Program Location | Refinement Loop |

claim paper

Added	20 Aug 2010
Updated	20 Aug 2010
Type	Conference
Year	2006
Where	CAV
Authors	Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang

Comments (0)