PRISM 2.0: a tool for probabilistic model checking

1 January 2004

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

p. 322-323
https://doi.org/10.1109/qest.2004.1348048

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

CLOCKS
ALGEBRA
COMPUTER SCIENCE
FORMAL VERIFICATION
FORMAL SPECIFICATIONS
PROBABILISTIC LOGIC
PROBABILITY DISTRIBUTION
DELAY
CONCURRENT COMPUTING
AUTOMATA

This publication has 2 references indexed in Scilit:

Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
Published by American Mathematical Society (AMS) ,2004
Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM
International Journal on Software Tools for Technology Transfer, 2004