Combining Abstraction Refinement and SAT-Based Model Checking.

Nina Amla, Kenneth L. McMillan

Browse the full TACAS paper archive.