Temporal Logics for the Specification of Performance and Reliability

@inproceedings{Alfaro1997TemporalLF,
  title={Temporal Logics for the Specification of Performance and Reliability},
  author={Luca de Alfaro},
  booktitle={STACS},
  year={1997}
}
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

Citations

Publications citing this paper.

77 Citations

0510'98'02'07'12'17
Citations per Year
Semantic Scholar estimates that this publication has 77 citations based on the available data.

See our FAQ for additional information.

References

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…