6 search results - page 2 / 2 » Counterexample Guided Abstraction Refinement Algorithm for P... |
171
click to vote
CAV
2008
Springer
15 years 5 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...