@InProceedings{DellaPenna_etal2003,
author="Della Penna, Giuseppe
and Intrigila, Benedetto
and Melatti, Igor
and Tronci, Enrico
and Venturini Zilli, Marisa",
editor="Blundo, C.
and Laneve, C.",
title="Finite Horizon Analysis of Stochastic Systems with the Mur{\$}{\backslash}varphi{\$} Verifier",
booktitle="Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings",
series="Lecture Notes in Computer Science",
year="2003",
publisher="Springer",
volume="2841",
pages="58--71",
abstract="Many reactive systems are actually Stochastic Processes. Automatic analysis of such systems is usually very difficult thus typically one simplifies the analysis task by using simulation or by working on a simplified model (e.g. a Markov Chain). We present a Finite Horizon Probabilistic Model Checking approach which essentially can handle the same class of stochastic processes of a typical simulator. This yields easy modeling of the system to be analyzed together with formal verification capabilities. Our approach is based on a suitable disk based extension of the Mur{\$}{\backslash}varphi{\$} verifier. Moreover we present experimental results showing effectiveness of our approach.",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=90), last updated on Thu, 22 Nov 2012 14:59:18 +0100",
issn="3-540-20216-1",
doi="10.1007/978-3-540-45208-9_6",
opturl="https://doi.org/10.1007/978-3-540-45208-9_6",
file=":http://mclab.di.uniroma1.it/publications/papers/papers/Della Penna2003b.pdf:PDF"
}