Automated Logical Verification Based on Trace Abstractions.

Nils Klarlund, Mogens Nielsen, Kim Sunesen

Browse the full PODC paper archive.