PRISM: A tool for automatic verification of probabilistic systems (2006)

by Andrew Hinton, Marta Kwiatkowska, Gethin Norman, David Parker
Venue:Proc. 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’06), volume 3920 of LNCS