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; Storm; PEPA; z3; PRISM-games; CADP; NuSMV; CEGAR; MCMAS; Ymer; APMC; BIOCHAM; Kronos; LiQuor; HyTech; PROPhESY; MoDeST Cited in: 438 Publications Further Publications: http://www.prismmodelchecker.org/publications.php Standard Articles 2 Publications describing the Software, including 2 Publications in zbMATH Year Probabilistic symbolic model checking with PRISM: A hybrid approach. Zbl 1043.68576Kwiatkowska, Marta; Norman, Gethin; Parker, David 2002 PRISM: Probabilistic symbolic model checker. Zbl 1047.68533Kwiatkowska, Marta; Norman, Gethin; Parker, David 2002 all top 5 Cited by 732 Authors 51 Kwiatkowska, Marta Z. 33 Norman, Gethin 31 Katoen, Joost-Pieter 13 Hermanns, Holger 11 Sproston, Jeremy 10 Baier, Christel 10 Bortolussi, Luca 10 Zhang, Lijun 9 Calder, Muffy 9 Chatterjee, Krishnendu 8 Abate, Alessandro 8 Forejt, Vojtěch 8 Hillston, Jane 8 Junges, Sebastian 8 Křetínský, Jan 8 Milazzo, Paolo 7 Barbuti, Roberto 7 Chen, Taolue 7 Hahn, Ernst Moritz 7 Jansen, Nils 7 Legay, Axel 6 Ábrahám, Erika 6 D’Argenio, Pedro Rubén 6 Kiefer, Stefan 6 Larsen, Kim Guldstrand 6 Wimmer, Ralf D. 5 Cardelli, Luca 5 Jansen, David N. 5 Siegle, Markus 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 Klüppelholz, Sascha 4 Konur, Savas 4 Krause, Christian 4 Lakin, Matthew R. 4 Levi, Francesca 4 Maggiolo-Schettini, Andrea 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 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 Giese, Holger 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 Lassaigne, Richard 3 Latella, Diego 3 Majumdar, Rupak 3 Massink, Mieke 3 Mateus, Paulo C. 3 Michaliszyn, Jakub 3 Olveczky, Peter Csaba 3 Palamidessi, Catuscia 3 Peyronnet, Sylvain 3 Qu, Hongyang 3 Schewe, Sven 3 Sedwards, Sean ...and 632 more Authors all top 5 Cited in 54 Serials 49 Theoretical Computer Science 30 Formal Aspects of Computing 22 Formal Methods in System Design 20 Information and Computation 19 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 all top 5 Cited in 20 Fields 397 Computer science (68-XX) 59 Probability theory and stochastic processes (60-XX) 56 Biology and other natural sciences (92-XX) 47 Mathematical logic and foundations (03-XX) 35 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 32 Operations research, mathematical programming (90-XX) 15 Systems theory; control (93-XX) 9 Information and communication theory, circuits (94-XX) 7 General and overarching topics; collections (00-XX) 6 Numerical analysis (65-XX) 5 Quantum theory (81-XX) 4 Combinatorics (05-XX) 4 Ordinary differential equations (34-XX) 3 Statistics (62-XX) 1 General algebraic systems (08-XX) 1 Number theory (11-XX) 1 Category theory; homological algebra (18-XX) 1 Approximations and expansions (41-XX) 1 Integral equations (45-XX) 1 Mechanics of deformable solids (74-XX) Citations by Year