×

PRISM

swMATH ID: 1186
Software Authors: Kwiatkowska, Marta; Norman, Gethin; Parker, David
Description: PRISM: Probabilistic symbolic model checker. In this paper we describe PRISM, a tool being developed at the University of Birmingham for the analysis of probabilistic systems. PRISM supports three probabilistic models: discrete-time Markov chains, Markov decision processes and continuous-time Markov chains. Analysis is performed through model checking such systems against specifications written in the probabilistic temporal logics PCTL and CSL. The tool features three model checking engines: one symbolic, using BDDs (binary decision diagrams) and MTBDDs (multi-terminal BDDs); one based on sparse matrices; and one which combines both symbolic and sparse matrix methods. PRISM has been successfully used to analyse probabilistic termination, performance, and quality of service properties for a range of systems, including randomized distributed algorithms, manufacturing systems and workstation clusters.
Homepage: http://www.prismmodelchecker.org/
Related Software: MRMC; Storm; Uppaal; SPIN; Bio-PEPA; PRISM-games; PEPA; z3; NuSMV; CEGAR; MCMAS; CADP; PROPhESY; Kronos; PARAM; APMC; Ymer; GitHub; LiQuor; BIOCHAM
Cited in: 512 Documents
Further Publications: http://www.prismmodelchecker.org/publications.php
all top 5

Cited by 841 Authors

55 Kwiatkowska, Marta Z.
39 Katoen, Joost-Pieter
37 Norman, Gethin
16 Křetínský, Jan
15 Junges, Sebastian
14 Chatterjee, Krishnendu
14 Hermanns, Holger
12 Abate, Alessandro
12 Baier, Christel
12 Jansen, Nils
11 Hahn, Ernst Moritz
11 Sproston, Jeremy
11 Zhang, Lijun
10 Bortolussi, Luca
10 Calder, Muffy
8 Forejt, Vojtěch
8 Hillston, Jane
8 Milazzo, Paolo
8 Stoelinga, Mariëlle
7 Barbuti, Roberto
7 Chen, Taolue
7 D’Argenio, Pedro Rubén
7 Kiefer, Stefan
7 Larsen, Kim Guldstrand
7 Legay, Axel
6 Ábrahám, Erika
6 Cardelli, Luca
6 Esparza, Javier
6 Schewe, Sven
6 Siegle, Markus
6 Wimmer, Ralf D.
5 Bartocci, Ezio
5 Fisher, Michael
5 Giese, Holger
5 Jansen, David N.
5 Meggendorfer, Tobias
5 Turrini, Andrea
5 Worrell, James B.
4 Ballarini, Paolo
4 Barbot, Benoît
4 Becker, Bernd
4 Chu, Dominique
4 Ciocchetta, Federica
4 Dannenberg, Frits
4 de Vink, Erik P.
4 Dehnert, Christian
4 Delahaye, Benoît
4 Dubslaff, Clemens
4 Esmaeil Zadeh Soudjani, Sadegh
4 Ferrer Fioriti, Luis María
4 Giro, Sergio
4 Hartmanns, Arnd
4 Hasan, Osman
4 Henzinger, Thomas A.
4 Klein, Joachim
4 Klüppelholz, Sascha
4 Konur, Savas
4 Krause, Christian
4 Lakin, Matthew R.
4 Levi, Francesca
4 Maggiolo-Schettini, Andrea
4 Maximova, Maria
4 Miller, Alice Ann
4 Murawski, Andrzej S.
4 Otop, Jan
4 Ouaknine, Joel O.
4 Pang, Jun
4 Pardini, Giovanni
4 Phillips, Andrew
4 Sevegnani, Michele
4 Sickert, Salomon
4 Simaitis, Aistis
4 Tahar, Sofiène
4 Tribastone, Mirco
4 Trivedi, Ashutosh
4 van de Pol, Jan Cornelis
4 Vandin, Andrea
4 Viswanathan, Mahesh
4 Wachter, Björn
4 Wooldridge, Michael J.
3 Aichernig, Bernhard K.
3 Alechina, Natasha
3 Andrei, Oana
3 Bertrand, Nathalie
3 Bradley, Jeremy T.
3 Brázdil, Tomáš
3 Češka, Milan
3 Chmelík, Martin
3 Clarke, Edmund Melson jun.
3 Daca, Przemysław
3 Fahrenberg, Uli
3 Falaschi, Moreno
3 Fribourg, Laurent
3 Gheorghe, Marian
3 Gilmore, Stephen T.
3 Gutierrez, Julian
3 Han, Tingting
3 Haverkort, Boudewijn R.
3 Hérault, Thomas
3 Hermith, Diana
...and 741 more Authors
all top 5

Cited in 57 Serials

51 Theoretical Computer Science
30 Formal Aspects of Computing
23 Formal Methods in System Design
20 Information and Computation
19 Logical Methods in Computer Science
8 Artificial Intelligence
8 Fundamenta Informaticae
7 Journal of Computer and System Sciences
7 The Journal of Logic and Algebraic Programming
5 Lecture Notes in Computer Science
4 Acta Informatica
4 Automatica
4 Journal of Automated Reasoning
4 Natural Computing
4 Journal of Theoretical Biology
4 Journal of Logical and Algebraic Methods in Programming
3 Mathematical Structures in Computer Science
3 ACM Transactions on Computational Logic
2 Information Processing Letters
2 Studia Logica
2 Science of Computer Programming
2 Machine Learning
2 The Journal of Artificial Intelligence Research (JAIR)
2 European Journal of Control
2 Journal of the ACM
2 Annales Mathematicae et Informaticae
2 Computer Science Review
1 Computers & Mathematics with Applications
1 International Journal of General Systems
1 International Journal of Theoretical Physics
1 ACM Transactions on Mathematical Software
1 Computing
1 International Journal of Game Theory
1 Journal of Applied Probability
1 Journal of Economic Theory
1 The Journal of Symbolic Logic
1 SIAM Journal on Computing
1 Journal of Symbolic Computation
1 Journal of Parallel and Distributed Computing
1 Real-Time Systems
1 Journal of Logic and Computation
1 Journal of Statistical Computation and Simulation
1 Journal of Logic, Language and Information
1 Journal of Mathematical Sciences (New York)
1 Annals of Mathematics and Artificial Intelligence
1 ACM Transactions on Modeling and Computer Simulation
1 Mathematical Problems in Engineering
1 Mathematical Methods of Operations Research
1 International Journal of Applied Mathematics and Computer Science
1 Theory and Practice of Logic Programming
1 Journal of Applied Mathematics
1 SIAM Journal on Applied Dynamical Systems
1 Computer Languages, Systems & Structures
1 International Journal of Quantum Information
1 Optimization Letters
1 Scientific Annals of Computer Science
1 Undergraduate Topics in Computer Science

Citations by Year