IEEE - Institute of Electrical and Electronics Engineers, Inc. - The New Development of PRISM for Probabilistic Model Checking

2009 Fourth International Conference on Internet Computing for Science and Engineering (ICICSE)

Author(s): Mingyu Ji ; Shaobin Huang ; Hongtao Huang ; Tao Zhang
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 December 2009
Conference Location: Harbin, TBD, China, China
Conference Date: 21 December 2009
Page(s): 64 - 66
ISBN (CD): 978-0-7695-4027-6
ISBN (Electronic): 978-1-4244-6755-6
ISBN (Paper): 978-1-4244-6754-9
DOI: 10.1109/ICICSE.2009.61
Regular:

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... View More

Advertisement