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 条
  • [21] Detecting bots with temporal logic
    Mina Young Pedersen
    Marija Slavkovik
    Sonja Smets
    Synthese, 202
  • [22] Simulation of CTCS-3 Protocol with Temporal Logic Programming
    Zhang, Peng
    Duan, Zhenhua
    Tian, Cong
    PROCEEDINGS OF THE 2013 IEEE 17TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN (CSCWD), 2013, : 72 - 77
  • [23] How to Use Temporal Logic in Combinational Circuits Verification with SMV
    Kotmanova, Daniela
    INFORMATICS 2013: PROCEEDINGS OF THE TWELFTH INTERNATIONAL CONFERENCE ON INFORMATICS, 2013, : 83 - 87
  • [24] Languages of logic and their applications
    Varga, K. Pasztor
    Varteresz, M.
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, 2008, 55 (08) : 1660 - 1669
  • [25] Model checking distributed temporal logic
    Dionisio, Francisco
    Ramos, Jaime
    Subtil, Fernando
    Vigano, Luca
    LOGIC JOURNAL OF THE IGPL, 2024,
  • [26] ESTL: A temporal logic for events and states
    Kindler, E
    Vesper, T
    APPLICATION AND THEORY OF PETRI NETS 1998, 1998, 1420 : 365 - 384
  • [27] Parametric metric interval temporal logic
    Di Giampaolo, Barbara
    La Torre, Salvatore
    Napoli, Margherita
    THEORETICAL COMPUTER SCIENCE, 2015, 564 : 131 - 148
  • [28] Symmetry in temporal logic model checking
    Miller, Alice
    Donaldson, Alastair
    Calder, Muffy
    ACM COMPUTING SURVEYS, 2006, 38 (03) : 2
  • [29] Temporal logic in verification of digital circuits
    Kotmanova, Daniela
    JOURNAL OF ELECTRICAL ENGINEERING-ELEKTROTECHNICKY CASOPIS, 2008, 59 (01): : 14 - 22
  • [30] DESIGNING EQUILIBRIA IN CONCURRENT GAMES WITH SOCIAL WELFARE AND TEMPORAL LOGIC CONSTRAINTS
    Gutierrez, Julian
    Najib, Muhammad
    Perelli, Giuseppe
    Wooldridge, Michael
    LOGICAL METHODS IN COMPUTER SCIENCE, 2024, 20 (04) : 1 - 21
12345