PRISM: A Tool for Automatic Verification of Probabilistic Systems

By Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker. International Conference on Tools and Algorithms for Construction and Analysis of Systems, 2006

779 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Management Science and Operations Research, Molecular Biology

View Paper: https://www.semanticscholar.org/paper/c10f295d12c97593ea57e0ae817c3f4473c4fbf6

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computational Theory and Mathematics

1. Marta Z. Kwiatkowska
2. David Parker
3. Gethin Norman
4. Vojtěch Forejt
5. Timon Gehr
6. Martin T. Vechev
7. Jane Hillston
8. Sohag Kabir

In Management Science and Operations Research

1. David Parker
2. Gethin Norman
3. Marta Z. Kwiatkowska
4. Martin T. Vechev
5. Timon Gehr

In Molecular Biology

1. David Parker
2. Gethin Norman
3. Marta Z. Kwiatkowska
4. Vojtěch Forejt
5. Martin T. Vechev

Citations in the corpus

• The Ins and Outs of the Probabilistic Model Checker MRMC (2009, neutral): “Ensuring minimum breakdown probabilities of, for instance, components of steer- and brake-by-wire systems in cars, is vital to fulfil safety requirement specifications such as the international standard IEC 61508.”
• Automated Verification Techniques for Probabilistic Systems (2011, methodology): “A commonly used extension of PCTL, which derives from the PRISM model checker [56], is the addition of quantitative versions of the P operator.”
• Stochastic Model Checking (2007, methodology): “PRISM [36,53] is a probabilistic model checker developed at the University of Birmingham.”
• PSI: Exact Symbolic Inference for Probabilistic Programs (2016, methodology): “These verification techniques have been based on abstract interpretation [35,16,14,33], axiomatic reasoning [37,29,5], model checking [26], and symbolic execution [42,18].”