Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems.

Can Arda Muftuoglu, Pter Bokor, Neeraj Suri

Browse the full SSS paper archive.