2004 · 91 citations · 1 references
ComputingComputer ScienceFormal MethodsProbability TheoryDeductive VerificationModel CheckingModel ExecutionVerificationAutomated Model CheckingFormal ModelingFormal VerificationModel VerificationModel-based VerificationProbabilistic Model Checking
This paper gives a brief overview of version 2.0 of PRISM, a tool for the automatic formal verification of probabilistic systems, and some of the case studies to which it has already been applied.
1