Temporal Logics for the Specification of Performance and Reliability

  title={Temporal Logics for the Specification of Performance and Reliability},
  author={Luca de Alfaro},
In this paper we present a methodology for the veriication of performance and reliability properties of discrete real-time systems. The methodology relies on a temporal logic that can express bounds on the probability of events and on the average time between them. The semantics of the logics is deened with respect to timed systems that exhibit both probabilistic and nondeterministic behavior. We present model-checking algorithms for the algorithmic veriication of the specii-cations, and we… CONTINUE READING
Highly Influential
This paper has highly influenced 11 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 77 citations. REVIEW CITATIONS
50 Citations
1 References
Similar Papers


Publications citing this paper.

77 Citations

Citations per Year
Semantic Scholar estimates that this publication has 77 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.

Temporal logics for the speci cation of performance and reliability

  • L. de Alfaro
  • Proc. of Symp. on Theor. Asp. of Comp. Sci…
  • 1997

Similar Papers

Loading similar papers…