Visualization of interval temporal logic

被引：0
|
作者：
Rao, AC [1 ]
Cau, A [1 ]
Zedan, H [1 ]
机构：
[1] De Montfort Univ, Software Technol Res Lab, SERCtr, Leicester LE1 9BH, Leics, England
来源：
PROCEEDINGS OF THE FIFTH JOINT CONFERENCE ON INFORMATION SCIENCES, VOLS 1 AND 2 | 2000年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
A graphical notation and an associated tool to specify the behaviour of systems is introduced and is based on 'Interval Temporal Logic' (ITL). It is a part of the so-called 'lean approach' to formal methods.
引用
收藏
页码：687 / 690
页数：4
相关论文
共 50 条
  • [31] ISITL: Intrusion signatures in augmented interval temporal logic
    Ouyang, MG
    Pan, F
    Zhang, YT
    2003 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-5, PROCEEDINGS, 2003, : 1630 - 1635
  • [32] Parametric Interval Temporal Logic over Infinite Words
    Bozzelli, Laura
    Peron, Adriano
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (370): : 97 - 113
  • [33] Constraint deduction in an interval-based temporal logic
    Koehler, J
    Treinen, R
    EXECUTABLE MODAL AND TEMPORAL LOGICS, 1995, 897 : 103 - 117
  • [34] Compositional reasoning using Interval Temporal Logic and Tempura
    Moszkowski, BC
    COMPOSITIONALITY: THE SIGNIFICANT DIFFERENCE, 1998, 1536 : 439 - 464
  • [35] Modeling, consistency and inference of extended interval temporal logic
    Lin, Chuang
    Qu, Yang
    Li, Ya-Juan
    Jisuanji Xuebao/Chinese Journal of Computers, 2002, 25 (12): : 1338 - 1347
  • [36] Telling Non-linear Stories with Interval Temporal Logic
    Thompson, Matt
    Battle, Steve
    Padget, Julian
    INTERACTIVE STORYTELLING, 2015, 9445 : 370 - 373
  • [37] A HIGHER LEVEL OF BEHAVIORAL SPECIFICATION - AN EXAMPLE IN INTERVAL TEMPORAL LOGIC
    DOWSING, RD
    ELLIOTT, R
    MICROPROCESSING AND MICROPROGRAMMING, 1991, 32 (1-5): : 517 - 524
  • [38] Detection of Mailbomb Attacks base on Time Interval Temporal Logic
    Zhou, Qinglei
    Hu, Wei
    Zhu, Weijun
    2015 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND COMMUNICATION NETWORKS (CICN), 2015, : 1078 - 1080
  • [39] Constraining Cycle Alternations in Model Checking for Interval Temporal Logic
    Molinari, Alberto
    Montanari, Angelo
    Peron, Adriano
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2016, 322 (322) : 211 - 226
  • [40] The dark side of interval temporal logic: marking the undecidability border
    Davide Bresolin
    Dario Della Monica
    Valentin Goranko
    Angelo Montanari
    Guido Sciavicco
    Annals of Mathematics and Artificial Intelligence, 2014, 71 : 41 - 83
12345