Thread-Modular Counterexample-Guided Abstraction Refinement.

Alexander Malkis, Andreas Podelski, Andrey Rybalchenko

Browse the full SAS paper archive.