Thread-Modular Verification Is Cartesian Abstract Interpretation.

Alexander Malkis, Andreas Podelski, Andrey Rybalchenko

Browse the full ICTAC paper archive.