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 条
  • [1] Temporal logic query checking
    Bruns, G
    Godefroid, P
    16TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2001, : 409 - 417
  • [2] Temporal logic query checking: A tool for model exploration
    Gurfinkel, A
    Chechik, M
    Devereux, B
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2003, 29 (10) : 898 - 914
  • [3] Query Checking for Linear Temporal Logic
    Huang, Samuel
    Cleaveland, Rance
    CRITICAL SYSTEMS: FORMAL METHODS AND AUTOMATED VERIFICATION (FMICS-AVOCS 2017), 2017, 10471 : 34 - 48
  • [4] Model checking for event graphs and event temporal logic
    Xia, Wei
    Yao, Yi-Ping
    Mu, Xiao-Dong
    Ruan Jian Xue Bao/Journal of Software, 2013, 24 (03): : 421 - 432
  • [5] Model checking for a first-order temporal logic using multiway decision graphs
    Xu, Y
    Cerny, E
    Song, X
    Corella, F
    Mohamed, OA
    COMPUTER AIDED VERIFICATION, 1998, 1427 : 219 - 231
  • [6] Model checking for a first-order temporal logic using Multiway Decision Graphs (MDGs)
    Xu, Y
    Song, XY
    Cerny, E
    Mohamed, OA
    COMPUTER JOURNAL, 2004, 47 (01): : 71 - 84
  • [7] Temporal logic model checking
    Clarke, EM
    LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 3 - 3
  • [8] Temporal logic and model checking
    McMillan, KL
    VERIFICATION OF DIGITAL AND HYBRID SYSTEM, 2000, 170 : 36 - 54
  • [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