Construction and Verification of Performance and Reliability Models
Holger Hermanns · University of Twente Research Information · 2001
Over the last two decades formal methods have been extended towards performance and reliability evaluation. This paper tries to provide a rather intuitive explanation of the basic concepts and features in this area. Instead of striving for mathematical rigour, the intention is to give an illustrative introduction to the basics of stochastic models, to stochastic modelling using process algebra, and to model checking as a technique to analyse stochastic models. In Bulletin of the EATCS (74), p. 135-154, 2001. 1