Temporal logic to query semantic graphs using the model checking method

被引：2
|
作者：
Gueffaz, Mahdi [1 ]
Rampacek, Sylvain [1 ]
Nicolle, Christophe [1 ]
机构：
[1] LE2I, UMR CNRS 5158, University of Bourgogne, BP 47870, 21078 Dijon Cedex, France
来源：
Journal of Software | 2012年 / 7卷 / 07期
关键词：
D O I：
10.4304/jsw.7.7.1462-1472
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1462 / 1472
相关论文
共 50 条
  • [21] RESOLUTION AND MODEL CHECKING FOR TEMPORAL LOGIC - A COMPARISON
    CAVALLI, AR
    JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (04) : 1063 - 1063
  • [22] Exploiting symmetry in temporal logic model checking
    Clarke, EM
    Enders, R
    Filkorn, T
    Jha, S
    FORMAL METHODS IN SYSTEM DESIGN, 1996, 9 (1-2) : 77 - 104
  • [23] Coverage metrics for temporal logic model checking*
    Hana Chockler
    Orna Kupferman
    Moshe Y. Vardi
    Formal Methods in System Design, 2006, 28 : 189 - 212
  • [24] 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
  • [25] 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
  • [26] Linear Temporal Logic Symbolic Model Checking
    Rozier, Kristin Y.
    COMPUTER SCIENCE REVIEW, 2011, 5 (02) : 163 - 203
  • [27] Operator precedence temporal logic and model checking
    Chiari, Michele
    Mandrioli, Dino
    Pradella, Matteo
    THEORETICAL COMPUTER SCIENCE, 2020, 848 : 47 - 81
  • [28] Decidability of model checking with the temporal logic EF
    Mayr, R
    THEORETICAL COMPUTER SCIENCE, 2001, 256 (1-2) : 31 - 62
  • [29] Model Checking over Paraconsistent Temporal Logic
    陈冬火
    王林章
    崔家林
    JournalofDonghuaUniversity(EnglishEdition), 2008, 25 (05) : 571 - 580
  • [30] Coverage metrics for temporal logic model checking
    Chockler, Hana
    Kupferman, Orna
    Vardi, Moshe Y.
    FORMAL METHODS IN SYSTEM DESIGN, 2006, 28 (03) : 189 - 212
12345