Efficient Verification of Distributed Protocols Using Stateful Model Checking.

Habib Saissi, Pter Bokor, Can Arda Muftuoglu, Neeraj Suri, Marco Serafini

Browse the full SRDS paper archive.