• DocumentCode
    3176690
  • Title

    The New Development of PRISM for Probabilistic Model Checking

  • Author

    Ji, Mingyu ; Huang, Shaobin ; Huang, Hongtao ; Zhang, Tao

  • Author_Institution
    Coll. of Comput. Sci. & Technol., Harbin Eng. Univ., Harbin, China
  • fYear
    2009
  • fDate
    21-22 Dec. 2009
  • Firstpage
    64
  • Lastpage
    66
  • Abstract
    This paper gives a brief overview of version 3.3 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 to date.
  • Keywords
    formal verification; PRISM development; PRISM version 3.3; automatic formal verification; probabilistic model checking; probabilistic systems; Automata; Automatic logic units; Computer science; Construction industry; Educational institutions; Forestry; Formal verification; Internet; Laboratories; Paper technology; PRISM; model checking; probabilistic model checking;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Internet Computing for Science and Engineering (ICICSE), 2009 Fourth International Conference on
  • Conference_Location
    Harbin
  • Print_ISBN
    978-1-4244-6754-9
  • Type

    conf

  • DOI
    10.1109/ICICSE.2009.61
  • Filename
    5521631
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3176690