How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems

@inproceedings{Alfaro1998HowTS,
  title={How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems},
  author={Luca de Alfaro},
  booktitle={LICS},
  year={1998}
}
Long-run average properties of probabilistic systems refer to the average behavior of the system, measured over a period of time whose length diverges to innnity. These properties include many relevant performance and reliability indices, such as system throughput, average response time, and mean time between failures. In this paper, we argue that current formal spec-iication methods cannot be used to specify long-run average properties of probabilistic systems. To enable the speciication of… CONTINUE READING
Highly Influential
This paper has highly influenced 10 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
84 Citations
2 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 84 extracted citations

References

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

Model checking ofprobabilistic and nondeterministic systems

  • K. S. Trivedi
  • InFound . of Software Tech . and Theor . Comp…
  • 1995

Aclass of generalized stochastic Petri nets for theperformance analysis of multiprocessor systems

  • N. Busi, R. Gorrieri
  • ACM Trans . Comp . Sys

Similar Papers

Loading similar papers…