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 条
  • [41] 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
  • [42] Translating Linear Temporal Logic Formulas into Automata
    Zhu Weijun
    Zhou Qinglei
    Zhang Haibin
    CHINA COMMUNICATIONS, 2012, 9 (06) : 100 - 113
  • [43] A temporal logic for sortals
    Freund M.A.
    Studia Logica, 2001, 69 (3) : 351 - 380
  • [44] Unified temporal logic
    Zhang, Nan
    Duan, Zhenhua
    Tian, Cong
    THEORETICAL COMPUTER SCIENCE, 2021, 864 : 58 - 69
  • [45] Temporal Logic as Filtering
    Rodionova, Alena
    Bartocci, Ezio
    Nickovic, Dejan
    Grosu, Radu
    DEPENDABLE SOFTWARE SYSTEMS ENGINEERING, 2017, 50 : 164 - 185
  • [46] On Signal Temporal Logic
    Donze, Alexandre
    RUNTIME VERIFICATION, RV 2013, 2013, 8174 : 382 - 383
  • [47] Mocking Temporal Logic
    Gordon, Colin S.
    PROCEEDINGS OF THE 2024 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON SPLASH-E 2024, 2024, : 98 - 109
  • [48] A REALLY TEMPORAL LOGIC
    ALUR, R
    HENZINGER, TA
    JOURNAL OF THE ACM, 1994, 41 (01) : 181 - 204
  • [49] THE TEMPORAL LOGIC OF ACTIONS
    LAMPORT, L
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (03): : 872 - 923
  • [50] A LOGIC OF TEMPORAL VARIABLES
    STOTHERT, AG
    MACLEOD, IM
    ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 1995, 8 (03) : 251 - 260
12345