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.
|Number of pages||19|
|Journal||Bulletin of the European Association for Theoretical Computer Science|
|Publication status||Published - 2001|
- FMT-MC: MODEL CHECKING
- FMT-PA: PROCESS ALGEBRAS
- FMT-PM: PROBABILISTIC METHODS
- FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS