Results for Software model checking

Publications & Outputs

1. Brief announcement: MP-state: State-aware software model checking of message-passing systems

   Muftuoglu, C. A., Bokor, P. & Suri, N., 2012, Stabilization, Safety, and Security of Distributed Systems: 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings. Vol. 7596 LNCS. p. 183-186 4 p.

   Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter