ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement.

Andreas Podelski, Andrey Rybalchenko

Browse the full PADL paper archive.