An important application of formal methods is the specification, design, and analysis of functional aspects of (distributed) systems. Recently the study of quantitative aspects of such systems based on formal methods has come into focus. Several extensions of formal methods where the occurrence of actions can be assigned a (fixed) probability and/or the time of occurrence of actions can be constrained are known from the literature.
|Award date||18 Apr 1996|
|Place of Publication||Enschede|
|Publication status||Published - 1996|
- FMT-NIM: NON-INTERLEAVING MODELS
- FMT-PM: PROBABILISTIC METHODS
- FMT-PA: PROCESS ALGEBRAS
- FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS