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 条
  • [31] Model checking vs. generalized model checking: Semantic minimizations for temporal logics
    Godefroid, P
    Huth, M
    LICS 2005: 20TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE - PROCEEDINGS, 2005, : 158 - 167
  • [32] A Shortest Path Query Method over Temporal Graphs
    Zhang T.
    Xu Y.
    Cai X.
    Fan J.
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2022, 59 (02): : 362 - 375
  • [33] Trajectory Verification for Networked and Autonomous Vehicles using Temporal Logic and Model Checking
    Kloock, Maximilian
    He, Qingyun
    Kowalewski, Stefan
    Alrifaee, Bassam
    2021 IEEE INTELLIGENT TRANSPORTATION SYSTEMS CONFERENCE (ITSC), 2021, : 244 - 250
  • [34] Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata
    Belardinelli, Francesco
    Jones, Andrew V.
    Lomuscio, Alessio
    FUNDAMENTA INFORMATICAE, 2011, 112 (01) : 19 - 37
  • [35] Bounded Model Checking of Signal Temporal Logic Properties using Syntactic Separation
    Bae, Kyungmin
    Lee, Jia
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (POPL):
  • [36] 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
  • [37] Symbolic Model Checking for Alternating Projection Temporal Logic
    Wang, Haiyang
    Duan, Zhenhua
    Tian, Cong
    COMBINATORIAL OPTIMIZATION AND APPLICATIONS, (COCOA 2015), 2015, 9486 : 481 - 495
  • [38] A Lazy Approach to Temporal Epistemic Logic Model Checking
    Cimatti, Alessandro
    Gario, Marco
    Tonetta, Stefano
    AAMAS'16: PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS, 2016, : 1218 - 1226
  • [39] Model checking of pushdown systems for projection temporal logic
    Zhao, Liang
    Wang, Xiaobing
    Duan, Zhenhua
    THEORETICAL COMPUTER SCIENCE, 2019, 774 : 82 - 94
  • [40] Temporal Logic and Model Checking for Operator Precedence Languages
    Chiari, Michele
    Mandrioli, Dino
    Pradella, Matteo
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (277): : 161 - 175
12345