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

Can Arda Muftuoglu Péter Bokor Neeraj Suri

Published in: SSS (2012)

Keyphrases

message passing
model checking
finite state machines
temporal logic
distributed systems
software development
state space
belief propagation
epistemic logic
transition systems
automated verification
distributed shared memory