Enhanced Probabilistic Verification with 3Spin and 3Murphi

Peter C. Dillinger, Panagiotis Manolios. Enhanced Probabilistic Verification with 3Spin and 3Murphi. In Patrice Godefroid, editor, Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings. Volume 3639 of Lecture Notes in Computer Science, pages 272-276, Springer, 2005. [doi]

Abstract

Abstract is missing.