Modular Verification of Concurrent Programs via Sequential Model Checking.

Dan Rasin, Orna Grumberg, Sharon Shoham

Browse the full ATVA paper archive.