www.prismmodelchecker.org
[Kik13] Shinji Kikuchi. Using Model Checking to Evaluate Live Migrations. IT Professional, 15(2), pages 36-41, IEEE Computer Society. 2013. [Uses probabilistic model checking and PRISM to analyse live migration strategies for cloud computing.]
Links: [Google] [Google Scholar] [CiteSeer]

Publications