Sciweavers

CAV
2006
Springer
117views Hardware» more  CAV 2006»
15 years 19 days ago
Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop
e Abstraction and Refinement Loop Himanshu Jain1,2, Franjo Ivanci
Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya S...