Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models

  title={Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models},
  author={Esteban Pavese and V{\'i}ctor A. Braberman and Sebasti{\'a}n Uchitel},
  booktitle={ESEC/SIGSOFT FSE},
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess whether a property holds or not, given a system specification. Quantitative model checking can provide additional information on the probability of these properties holding. We are interested in quantitatively analysing the probability of errors in non-probabilistic system models by composing them with probabilistic… CONTINUE READING


Publications referenced by this paper.
Showing 1-9 of 9 references

Alea jacta est: verification of probabilistic

  • M. Stoelinga
  • real-time and parametric systems. PhD thesis…
  • 2002
Highly Influential
17 Excerpts

Similar Papers

Loading similar papers…