www.prismmodelchecker.org
[GTP14] Debjani Ghosh, Mayank Pandey and Neeraj Tyagi. Stochastic Modelling and Analysis of Video on Demand System with VCR Functionalities. In Proc. 2014 International Computer Science and Engineering Conference (ICSEC'14), pages 78-84, IEEE. 2014. [Uses PRISM to analyse quality-of-service properties of a distributed Video on Demand streaming application.]
Links: [Google] [Google Scholar]

Publications