• DocumentCode
    1665918
  • Title

    PRISM 2.0: a tool for probabilistic model checking

  • Author

    Kwiatkowska, Marta ; Norman, Gethin ; Parker, David

  • Author_Institution
    Sch. of Comput. Sci., Univ. of Birmingham, UK
  • fYear
    2004
  • Firstpage
    322
  • Lastpage
    323
  • Abstract
    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.
  • Keywords
    formal specification; formal verification; probabilistic logic; temporal logic; automatic formal verification; formal specification; model checking; probabilistic system; temporal logic; Algebra; Automata; Clocks; Computer science; Concurrent computing; Delay; Formal specifications; Formal verification; Probabilistic logic; Probability distribution;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings. First International Conference on the
  • Print_ISBN
    0-7695-2185-1
  • Type

    conf

  • DOI
    10.1109/QEST.2004.1348048
  • Filename
    1348048
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1665918