6 search results - page 2 / 2 » Counterexample Guided Abstraction Refinement Algorithm for P... |
CAV
2008
Springer
13 years 6 months ago
2008
Springer
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...