Artigo
PRISM 2.0: a tool for probabilistic model checking
2004; Linguagem: Inglês
10.1109/qest.2004.35
AutoresMarta Kwiatkowska, Gethin Norman, David Parker,
Tópico(s)Safety Systems Engineering in Autonomy
ResumoThis 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.
Referência(s)