Sciweavers

6 search results - page 2 / 2
» Counterexample Guided Abstraction Refinement Algorithm for P...
Sort
View
CAV
2008
Springer
170views Hardware» more  CAV 2008»
13 years 7 months ago
Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
Himanshu Jain, Edmund M. Clarke, Orna Grumberg