PRISM 2.0: A tool for probabilistic model checking

被引：0
|
作者：
Kwiatkowska, M [1 ]
Norman, G [1 ]
Parker, D [1 ]
机构：
[1] Univ Birmingham, Sch Comp Sci, Birmingham B15 2TT, W Midlands, England
来源：
QEST 2004: FIRST INTERNATIONAL CONFERENCE ON THE QUANTITATIVE EVALUATION OF SYSTEMS, PROCEEDINGS | 2004年
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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.
引用
收藏
页码：322 / 323
页数：2
相关论文
共 50 条
  • [1] Advances in Symbolic Probabilistic Model Checking with PRISM
    Klein, Joachim
    Baier, Christel
    Chrszon, Philipp
    Daum, Marcus
    Dubslaff, Clemens
    Klueppelholz, Sascha
    Maercker, Steffen
    Mueller, David
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS 2016), 2016, 9636 : 349 - 366
  • [2] Probabilistic symbolic model checking with PRISM: A hybrid approach
    Kwiatkowska, M
    Norman, G
    Parker, D
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANAYLSIS OF SYSTEMS, PROCEEDINGS, 2002, 2280 : 52 - 66
  • [3] Probabilistic symbolic model checking with PRISM: A hybrid approach
    Kwiatkowska M.
    Norman G.
    Parker D.
    [J]. International Journal on Software Tools for Technology Transfer, 2004, 6 (2) : 128 - 142
  • [4] Towards probabilistic model checking on P systems using PRISM
    Romero-Campero, Francisco J.
    Gheorghe, Marian
    Bianco, Luca
    Pescini, Dario
    Perez-Jimenez, Mario J.
    Ceterchi, Rodica
    [J]. MEMBRANE COMPUTING, 2006, 4361 : 477 - +
  • [5] Family-based Model Checking using Probabilistic Model Checker PRISM
    Kishi, Tomoji
    [J]. PROCEEDINGS OF THE 2023 30TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, APSEC 2023, 2023, : 376 - 385
  • [6] Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC
    Duflot, Marie
    Fribourg, Laurent
    Herault, Thomas
    Lassaigne, Richard
    Magniette, Frederic
    Messika, Stephane
    Peyronnet, Sylvain
    Picaronny, Claudine
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 128 (06) : 195 - 214
  • [7] Solving Influence Problems on the DeGroot Model with a Probabilistic Model Checking Tool
    Gyftopoulos, Sotirios
    Efraimidis, Pavlos S.
    Katsaros, Panagiotis
    [J]. 20TH PAN-HELLENIC CONFERENCE ON INFORMATICS (PCI 2016), 2016,
  • [8] Probabilistic Model Checking
    Baier, Christel
    [J]. DEPENDABLE SOFTWARE SYSTEMS ENGINEERING, 2016, 45 : 1 - 23
  • [9] PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking
    Korn, Max
    Mendez, Julian
    Klueppelholz, Sascha
    Langner, Ricardo
    Baier, Christel
    Dachselt, Raimund
    [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2023, 2023, 14323 : 361 - 375
  • [10] Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Buchi automata
    Klein, Joachim
    Baier, Christel
    Chrszon, Philipp
    Daum, Marcus
    Dubslaff, Clemens
    Kluppelholz, Sascha
    Maercker, Steffen
    Mueller, David
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018, 20 (02) : 179 - 194
12345