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 条
  • [1] Programmable Logic Controllers Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems
    Mao, Xia
    Li, Xin
    Huang, Yanhong
    Shi, Jianqi
    Zhang, Yueling
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2022, 18 (07) : 4393 - 4405
  • [2] Linear, branching time and joint closure semantics for temporal logic
    Engelfriet J.
    Treur J.
    Journal of Logic, Language and Information, 2002, 11 (4) : 389 - 425
  • [3] Formal verification with projection temporal logic
    TIAN Cong
    DUAN ZhenHua
    Science Foundation in China, 2014, 22 (02) : 37 - 54
  • [4] Revising System Specifications in Temporal Logic
    Guerra, Paulo T.
    Wassermann, Renata
    JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2022, 31 (04) : 591 - 618
  • [5] Alternating-time temporal logic
    Alur, R
    Henzinger, TA
    Kupferman, O
    JOURNAL OF THE ACM, 2002, 49 (05) : 672 - 713
  • [6] Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
    Rizk, Aurelien
    Batt, Gregory
    Fages, Francois
    Soliman, Sylvain
    THEORETICAL COMPUTER SCIENCE, 2011, 412 (26) : 2827 - 2839
  • [7] Operator precedence temporal logic and model checking
    Chiari, Michele
    Mandrioli, Dino
    Pradella, Matteo
    THEORETICAL COMPUTER SCIENCE, 2020, 848 : 47 - 81
  • [8] Temporal logic with recursion
    Bruse, Florian
    Lange, Martin
    INFORMATION AND COMPUTATION, 2021, 281
  • [9] Distributed temporal logic for the analysis of security protocol models
    Basin, David
    Caleiro, Carlos
    Ramos, Jaime
    Vigano, Luca
    THEORETICAL COMPUTER SCIENCE, 2011, 412 (31) : 4007 - 4043
  • [10] Context-Aware Temporal Logic for Probabilistic Systems
    Elfar, Mahmoud
    Wang, Yu
    Pajic, Miroslav
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2020), 2020, 12302 : 215 - 232
12345