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
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;
Conference_Titel :
Internet Computing for Science and Engineering (ICICSE), 2009 Fourth International Conference on
Conference_Location :
Harbin
Print_ISBN :
978-1-4244-6754-9
DOI :
10.1109/ICICSE.2009.61
