×

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; Uppaal; SPIN; Bio-PEPA; PEPA; Storm; z3; PRISM-games; NuSMV; CADP; CEGAR; MCMAS; Ymer; APMC; BIOCHAM; Kronos; LiQuor; HyTech; PROPhESY; Isabelle/HOL
Referenced in: 429 Publications
Further Publications: http://www.prismmodelchecker.org/publications.php
all top 5

Referenced by 711 Authors

51 Kwiatkowska, Marta Z.
33 Norman, Gethin
29 Katoen, Joost-Pieter
13 Hermanns, Holger
11 Sproston, Jeremy
10 Bortolussi, Luca
10 Zhang, Lijun
9 Baier, Christel
9 Calder, Muffy
9 Chatterjee, Krishnendu
8 Abate, Alessandro
8 Forejt, Vojtěch
8 Hillston, Jane
8 Křetínský, Jan
8 Milazzo, Paolo
7 Barbuti, Roberto
7 Chen, Taolue
7 Hahn, Ernst Moritz
7 Jansen, Nils
7 Junges, Sebastian
7 Legay, Axel
6 Ábrahám, Erika
6 D’Argenio, Pedro Rubén
6 Larsen, Kim Guldstrand
6 Wimmer, Ralf D.
5 Cardelli, Luca
5 Jansen, David N.
5 Kiefer, Stefan
5 Stoelinga, Mariëlle
5 Turrini, Andrea
4 Ballarini, Paolo
4 Bartocci, Ezio
4 Becker, Bernd
4 Chu, Dominique
4 Ciocchetta, Federica
4 Dannenberg, Frits
4 de Vink, Erik P.
4 Dehnert, Christian
4 Esmaeil Zadeh Soudjani, Sadegh
4 Esparza, Javier
4 Ferrer Fioriti, Luis María
4 Giro, Sergio
4 Hartmanns, Arnd
4 Hasan, Osman
4 Henzinger, Thomas A.
4 Konur, Savas
4 Krause, Christian
4 Lakin, Matthew R.
4 Levi, Francesca
4 Maggiolo-Schettini, Andrea
4 Miller, Alice Ann
4 Otop, Jan
4 Ouaknine, Joel O.
4 Pang, Jun
4 Pardini, Giovanni
4 Phillips, Andrew
4 Siegle, Markus
4 Simaitis, Aistis
4 Tahar, Sofiène
4 Tribastone, Mirco
4 Vandin, Andrea
4 Viswanathan, Mahesh
4 Wachter, Björn
4 Wooldridge, Michael J.
4 Worrell, James B.
3 Andrei, Oana
3 Barbot, Benoît
3 Bradley, Jeremy T.
3 Češka, Milan
3 Chmelík, Martin
3 Clarke, Edmund Melson jun.
3 Delahaye, Benoît
3 Dubslaff, Clemens
3 Fahrenberg, Uli
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 Hölzl, Johannes
3 Jobstmann, Barbara
3 Kattenbelt, Mark
3 Klein, Joachim
3 Klüppelholz, Sascha
3 Lassaigne, Richard
3 Latella, Diego
3 Majumdar, Rupak
3 Massink, Mieke
3 Mateus, Paulo C.
3 Michaliszyn, Jakub
3 Murawski, Andrzej S.
3 Olveczky, Peter Csaba
3 Palamidessi, Catuscia
3 Peyronnet, Sylvain
3 Qu, Hongyang
3 Schewe, Sven
3 Sedwards, Sean
3 Sevegnani, Michele
...and 611 more Authors
all top 5

Referenced in 54 Serials

49 Theoretical Computer Science
30 Formal Aspects of Computing
22 Formal Methods in System Design
20 Information and Computation
15 Logical Methods in Computer Science
8 Fundamenta Informaticae
7 Artificial Intelligence
7 The Journal of Logic and Algebraic Programming
6 Journal of Computer and System Sciences
5 Lecture Notes in Computer Science
4 Acta Informatica
4 Journal of Automated Reasoning
4 Journal of Theoretical Biology
3 MSCS. Mathematical Structures in Computer Science
3 ACM Transactions on Computational Logic
3 Journal of Logical and Algebraic Methods in Programming
2 Information Processing Letters
2 Automatica
2 Studia Logica
2 Science of Computer Programming
2 European Journal of Control
2 Natural Computing
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 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 Machine Learning
1 Journal of Logic and Computation
1 Journal of Statistical Computation and Simulation
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 Journal of the ACM
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

Referencing Publications by Year