www.prismmodelchecker.org
[KM11] Shinji Kikuchi, Yasuhide Matsumoto. Performance Modeling of Concurrent Live Migration Operations in Cloud Computing Systems using PRISM Probabilistic Model Checker. In Proc. 4th International Conference on Cloud Computing (IEEE Cloud 2011). July 2011. [bib] [Describes work by Fujitsu researchers using PRISM to optimise live migration of virtual machines in the cloud.]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications