Temporal logics for the specification of performance and reliability

被引：0
|
作者：
de Alfaro, L [1 ]
机构：
[1] Stanford Univ, Dept Comp Sci, Stanford, CA 94305 USA
来源：
STACS 97 - 14TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE | 1997年 / 1200卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In this paper we present a methodology for the verification 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 defined with respect to timed systems that exhibit both probabilistic and nondeterministic behavior. We present model-checking algorithms for the algorithmic verification of the specifications, and we discuss their complexity.
引用
收藏
页码：165 / 176
页数：12
相关论文
共 50 条
  • [31] Multiagent Temporal Logics with Multivaluations
    V. V. Rybakov
    Siberian Mathematical Journal, 2018, 59 : 710 - 720
  • [32] Arity hierarchy for temporal logics
    Rabinovich, Alexander
    THEORETICAL COMPUTER SCIENCE, 2008, 403 (2-3) : 373 - 381
  • [33] On Metric Temporal Description Logics
    Gutierrez-Basulto, Victor
    Jung, Jean Christoph
    Ozaki, Ana
    ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 837 - 845
  • [34] The mosaic method for temporal logics
    Marx, M
    Mikulás, S
    Reynolds, M
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 2000, 1847 : 324 - 340
  • [35] PROPOSITIONAL TEMPORAL LOGICS AND EQUIVALENCES
    GOLTZ, U
    KUIPER, R
    PENCZEK, W
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 630 : 222 - 236
  • [36] Games for temporal logics on trees
    Esik, Z.
    Ivan, Sz
    IMPLEMENTATION AND APPLICATION OF AUTOMATA, PROCEEDINGS, 2008, 5148 : 191 - +
  • [37] Two temporal logics of contingency
    Pascucci, Matteo
    AUSTRALASIAN JOURNAL OF LOGIC, 2015, 12 (02) : 121 - 134
  • [38] Temporal description logics: A survey
    Lutz, Carsten
    Wolter, Frank
    Zakharyashev, Michael
    TIME 2008: 15TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2008, : 3 - +
  • [39] An introduction to executable temporal logics
    Fisher, M
    KNOWLEDGE ENGINEERING REVIEW, 1996, 11 (01): : 43 - 56
  • [40] Reified temporal logics: An overview
    Ma, J
    Knight, B
    ARTIFICIAL INTELLIGENCE REVIEW, 2001, 15 (03) : 189 - 217
12345