Modular Verification of Concurrent Programs via Sequential Model Checking

Dan Rasin, Orna Grumberg, Sharon Shoham

This work utilizes the plethora of work on verification of sequential programs for the purpose of verifying concurrent programs. We reduce the verification of a concurrent program…