Interval temporal logics model checking

被引：3
|
作者：
Montanari, Angelo [1 ]
机构：
[1] Univ Udine, Dept Math Comp Sci & Phys, I-33100 Udine, Italy
来源：
PROCEEDINGS 23RD INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING - TIME 2016 | 2016年
关键词：
D O I：
10.1109/TIME.2016.32
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：2 / 2
页数：1
相关论文
共 50 条
  • [1] Model checking interval temporal logics with regular expressions ?
    Bozzelli, Laura
    Molinari, Alberto
    Montanari, Angelo
    Peron, Adriano
    [J]. INFORMATION AND COMPUTATION, 2020, 272
  • [2] Model checking for extended timed temporal logics
    Bouajjani, A
    Lakhnech, Y
    Yovine, S
    [J]. FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1996, 1135 : 306 - 326
  • [3] A Temporal View on Model Checking Hybrid Logics
    Letia, Ioan Alfred
    Goron, Anca
    [J]. 2014 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTER COMMUNICATION AND PROCESSING (ICCP), 2014, : 55 - 58
  • [4] Integrating temporal logics and model checking algorithms
    Rus, T
    Van Wyk, E
    [J]. TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1997, 1231 : 95 - 110
  • [5] Model-checking Timed Temporal Logics
    Bouyer, Patricia
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 231 : 323 - 341
  • [6] Model checking temporal logics of knowledge in distributed systems
    Su, K
    [J]. PROCEEDING OF THE NINETEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE SIXTEENTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2004, : 98 - 103
  • [7] Temporal logics and model checking for fairly correct systems
    Varacca, Daniele
    Voelzer, Hagen
    [J]. 21ST ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2006, : 389 - +
  • [8] Temporal Logics for Phylogenetic Analysis via Model Checking
    Blanco, Roberto
    de Miguel Casado, Gregorio
    Ignacio Requeno, Jose
    Manuel Colom, Jose
    [J]. 2010 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE WORKSHOPS (BIBMW), 2010, : 152 - 157
  • [9] Temporal Logics for Phylogenetic Analysis via Model Checking
    Ignacio Requeno, Jose
    de Miguel Casado, Gregorio
    Blanco, Roberto
    Manuel Colom, Jose
    [J]. IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, 2013, 10 (04) : 1058 - 1070
  • [10] Model checking with multi-valued temporal logics
    Chechik, M
    Easterbrook, S
    Devereux, B
    [J]. 31ST INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2001, : 187 - 192
12345