Probabilistic model checking : formalisms andalgorithms for discrete and real-time systemsCostas Courcoubetis ? and

@inproceedings{Tripakis2000ProbabilisticMC,
  title={Probabilistic model checking : formalisms andalgorithms for discrete and real-time systemsCostas Courcoubetis ? and},
  author={Stavros Tripakis},
  year={2000}
}
This paper considers the problem of veriication of proba-bilistic systems, for both the discrete-and real-time cases. Probabilistic systems are modeled as Markov chains, concurrent Markov chains (i.e. MCs with non-determinism) or, in the real-time case, generalized semi-Markov processes (Markovian processes with time delays on events). Discrete-time speciications are described in the logics PTL (proposi-tional temporal logic), ETL (extended temporal logic) or PCTL (prob-abilistic full… CONTINUE READING

Citations

Publications citing this paper.
Showing 1-4 of 4 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 25 references

Probabilistic temporal logic for nite and boundedmodels

M. Sharir
Proc . 16 th Symp . Theory of Computation • 1996

Formal veri cation of performance and reliability of realtimesystems

L. de Alfaro.
1995

Sangiovanni - Vincetelli . It usually works : the temporal logic of stochastic systems . InComputerAided Veri cation

V. Singhar, F. Balarin, R. K. Brayton, L. A.
1995

A framework for reasoning about time andreliability

B. Jonsson.
Proc . of the 10 th IEEE Real - Time Systems Symposium • 1994

Similar Papers

Loading similar papers…