PRISM: A Tool for Automatic Verification of Probabilistic Systems.

Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker

Browse the full TACAS paper archive.