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 条
  • [21] Model Checking General Linear Temporal Logic
    French, Tim
    McCabe-Dansted, John
    Reynolds, Mark
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2013), 2013, 8123 : 119 - 133
  • [22] Parallel Model Checking for Temporal Epistemic Logic
    Kwiatkowska, Marta
    Lomuscio, Alessio
    Qu, Hongyang
    ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2010, 215 : 543 - 548
  • [23] Linear Temporal Logic Symbolic Model Checking
    Rozier, Kristin Y.
    COMPUTER SCIENCE REVIEW, 2011, 5 (02) : 163 - 203
  • [24] Operator precedence temporal logic and model checking
    Chiari, Michele
    Mandrioli, Dino
    Pradella, Matteo
    THEORETICAL COMPUTER SCIENCE, 2020, 848 : 47 - 81
  • [25] Decidability of model checking with the temporal logic EF
    Mayr, R
    THEORETICAL COMPUTER SCIENCE, 2001, 256 (1-2) : 31 - 62
  • [26] Model Checking over Paraconsistent Temporal Logic
    陈冬火
    王林章
    崔家林
    JournalofDonghuaUniversity(EnglishEdition), 2008, 25 (05) : 571 - 580
  • [27] Coverage metrics for temporal logic model checking
    Chockler, Hana
    Kupferman, Orna
    Vardi, Moshe Y.
    FORMAL METHODS IN SYSTEM DESIGN, 2006, 28 (03) : 189 - 212
  • [28] Model checking real-time systems within unified approach of timed interval temporal logic
    Zhu, Wei-Jun
    Qiao, Peng-Zhe
    Zhou, Qing-Lei
    Zhang, Hai-Bin
    Dianzi Keji Daxue Xuebao/Journal of the University of Electronic Science and Technology of China, 2014, 43 (05): : 712 - 716
  • [29] Model checking interval temporal logics with regular expressions ?
    Bozzelli, Laura
    Molinari, Alberto
    Montanari, Angelo
    Peron, Adriano
    INFORMATION AND COMPUTATION, 2020, 272 (272)
  • [30] Completeness of bounded model checking temporal logic of knowledge
    Liu, Zhifeng
    Ge, Yun
    Zhang, Dong
    Zhou, Conghua
    Journal of Southeast University (English Edition), 2010, 26 (03) : 399 - 405
12345