Enhancing model checking in verification by AI techniques

被引：1
|
作者：
Buccafurri, Francesco [1 ]
Eiter, Thomas [2 ]
Gottlob, Georg [3 ]
Leone, Nicola [3 ]
机构：
[1] DIMET, Universitá di Reggio Calabria, loc. Feo di Vito, I-89100 Reggio Calabria, Italy
[2] ILWLI, Technische Universität Wien, TreitlstraBe 3, A-1040 Wien, Austria
[3] ILWLI, Technische Universität Wien, Paniglgasse 16, A-1040 Wien, Austria
来源：
Artificial Intelligence | 1999年 / 112卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：57 / 104
相关论文
共 50 条
  • [21] Model Checking for Verification of Quantum Circuits
    Ying, Mingsheng
    FORMAL METHODS, FM 2021, 2021, 13047 : 23 - 39
  • [22] On Applying Model Checking in Formal Verification
    Hjort, Hakan
    2022 FORMAL METHODS IN COMPUTER-AIDED DESIGN, FMCAD, 2022, 3 : 3 - 3
  • [23] Applying model checking to workflow verification
    Pfeiffer, JH
    Rossak, WR
    Speck, A
    11TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2004, : 144 - 151
  • [24] Formal Verification meets Robustness Checking - Techniques and Challenges -
    Drechsler, Rolf
    Fey, Goerschwin
    PROCEEDINGS OF THE 13TH IEEE SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS AND SYSTEMS, 2010, : 4 - 4
  • [25] Enhancing Probabilistic Model Checking with Ontologies
    Dubslaff, Clemens
    Koopmann, Patrick
    Turhan, Anni-Yasmin
    FORMAL ASPECTS OF COMPUTING, 2021, 33 (06) : 885 - 921
  • [26] Integrating proof-based and model-checking techniques for the formal verification of cryptographic protocols
    Bolignano, D
    COMPUTER AIDED VERIFICATION, 1998, 1427 : 77 - 87
  • [27] Global vs. local model checking: A comparison of verification techniques for infinite state systems
    Schuele, T
    Schneider, K
    PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2004, : 67 - 76
  • [28] Combining Type-Checking with Model-Checking for System Verification
    Ren, Zhiqiang
    Xi, Hongwei
    2016 ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2016, : 54 - 58
  • [29] From model checking to equilibrium checking: Reactive modules for rational verification
    Gutierrez, Julian
    Harrenstein, Paul
    Wooldridge, Michael
    ARTIFICIAL INTELLIGENCE, 2017, 248 : 123 - 157
  • [30] Model checking: Formal verification at a higher level
    Kurshan, B
    DePalma, G
    COMPUTER DESIGN, 1996, 35 (09): : 72 - 73
12345