Model checking interval temporal logic

被引：0
|
作者：
Zhang, Hai-Bin [1 ]
Duan, Zhen-Hua [1 ]
机构：
[1] School of Computer Science and Technology, Xidian Univ., Xi'an 710071, China
来源：
Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University | 2009年 / 36卷 / 02期
关键词：
Automata - Interval temporal logic - Model checking problem - Set of rules;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
To check whether a system represented by a labelled finite state automaton meets a property described by an interval temporal logic formula, a set of rules are defined. Using such rules, a chop-automaton which accepts all intervals satisfying this interval temporal logic formula can be constructed. In addition, a rule for translating a chop-automaton to a labelled finite state automaton is also defined. Thus, the model checking problem for the interval temporal logic can be solved by testing language inclusion between two labelled finite state automata.
引用
收藏
页码：338 / 342
相关论文
共 50 条
  • [1] 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
  • [2] Which fragments of the interval temporal logic HS are tractable in model checking?
    Bozzelli, Laura
    Molinari, Alberto
    Montanari, Angelo
    Peron, Adriano
    Sala, Pietro
    THEORETICAL COMPUTER SCIENCE, 2019, 764 : 125 - 144
  • [3] Complexity analysis of a unifying algorithm for model checking interval temporal logic
    Bozzelli, Laura
    Montanari, Angelo
    Peron, Adriano
    INFORMATION AND COMPUTATION, 2021, 280
  • [4] Intrusion Detection Algorithm Based on Model Checking Interval Temporal Logic
    Zhu Weijun
    Wang Zhongyong
    Zhang Haibin
    CHINA COMMUNICATIONS, 2011, 8 (03) : 66 - 72
  • [5] Temporal logic model checking
    Clarke, EM
    LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 3 - 3
  • [6] Temporal logic and model checking
    McMillan, KL
    VERIFICATION OF DIGITAL AND HYBRID SYSTEM, 2000, 170 : 36 - 54
  • [7] Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison
    Bozzelli, Laura
    Molinari, Alberto
    Montanari, Angelo
    Peron, Adriano
    Sala, Pietro
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2019, 20 (01)
  • [8] Interval temporal logics model checking
    Montanari, Angelo
    PROCEEDINGS 23RD INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING - TIME 2016, 2016, : 2 - 2
  • [9] UTP and Temporal Logic Model Checking
    Anderson, Hugh
    Ciobanu, Gabriel
    Freitas, Leo
    UNIFYING THEORIES OF PROGRAMMING, 2010, 5713 : 22 - +
  • [10] Techniques for temporal logic model checking
    Deharbe, David
    REFINEMENT TECHNIQUES IN SOFTWARE ENGINEERING, 2006, 3167 : 315 - 367
12345