TEMPORAL LOGIC AND APPLICATIONS - A TUTORIAL

被引：23
作者：
GOTZHEIN, R [1 ]
机构：
[1] UNIV HAMBURG, W-2000 HAMBURG 54, GERMANY
来源：
COMPUTER NETWORKS AND ISDN SYSTEMS | 1992年 / 24卷 / 03期
关键词：
TEMPORAL LOGIC; SYNTAX; SEMANTICS; MODEL-CHECKING; LINEAR TIME; BRANCHING TIME; INTERVAL LOGIC; CONCURRENT SYSTEMS; UNRELIABLE SYSTEMS; VERIFICATION;
D O I：
10.1016/0169-7552(92)90109-4
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Temporal logic is a branch of formal logic which is of particular interest for the specification and verification of concurrent systems including communication services and protocols. This tutorial presents the principles of temporal logic and explains how it can be applied.
引用
收藏
页码：203 / 218
页数：16
相关论文
共 50 条
  • [31] A temporal programming model with atomic blocks based on projection temporal logic
    Xiaoxiao Yang
    Yu Zhang
    Ming Fu
    Xinyu Feng
    Frontiers of Computer Science, 2014, 8 : 958 - 976
  • [32] A temporal programming model with atomic blocks based on projection temporal logic
    Yang, Xiaoxiao
    Zhang, Yu
    Fu, Ming
    Feng, Xinyu
    FRONTIERS OF COMPUTER SCIENCE, 2014, 8 (06) : 958 - 976
  • [33] Technical Note Temporal logic programs with variables
    Aguado, Felicidad
    Cabalar, Pedro
    Perez, Gilberto
    Vidal, Concepcion
    Dieguez, Martin
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2017, 17 (02) : 226 - 243
  • [34] MSVL: a typed language for temporal logic programming
    Wang, Xiaobing
    Tian, Cong
    Duan, Zhenhua
    Zhao, Liang
    FRONTIERS OF COMPUTER SCIENCE, 2017, 11 (05) : 762 - 785
  • [35] Online Reset for Signal Temporal Logic Monitoring
    Zhang, Zhenya
    Arcaini, Paolo
    Xie, Xuan
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2022, 41 (11) : 4421 - 4432
  • [36] Model Checking over Paraconsistent Temporal Logic
    陈冬火
    王林章
    崔家林
    JournalofDonghuaUniversity(EnglishEdition), 2008, 25 (05) : 571 - 580
  • [37] A Temporal Differential Dynamic Logic Formal Embedding
    White, Lauren
    Titolo, Laura
    Slagel, J. Tanner
    Munoz, Cesar A.
    PROCEEDINGS OF THE 13TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2024, 2024, : 162 - 176
  • [38] Expressiveness of propositional projection temporal logic with star
    Tian, Cong
    Duan, Zhenhua
    THEORETICAL COMPUTER SCIENCE, 2011, 412 (18) : 1729 - 1744
  • [39] Decidability of model checking with the temporal logic EF
    Mayr, R
    THEORETICAL COMPUTER SCIENCE, 2001, 256 (1-2) : 31 - 62
  • [40] Exploiting symmetry in temporal logic model checking
    Clarke, EM
    Enders, R
    Filkorn, T
    Jha, S
    FORMAL METHODS IN SYSTEM DESIGN, 1996, 9 (1-2) : 77 - 104
12345