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 条
  • [1] Enhancing model checking in verification by AI techniques
    Buccafurri, F
    Eiter, T
    Gottlob, G
    Leone, N
    ARTIFICIAL INTELLIGENCE, 1999, 112 (1-2) : 57 - 104
  • [2] Adopting model checking techniques for clinical guidelines verification
    Bottrighi, Alessio
    Giordano, Laura
    Molino, Gianpaolo
    Montani, Stefania
    Terenziani, Paolo
    Torchio, Mauro
    ARTIFICIAL INTELLIGENCE IN MEDICINE, 2010, 48 (01) : 1 - 19
  • [3] Towards Automated Software Verification Using Model Checking Techniques
    Asadollahi, Somayeh
    Rafe, Vahid
    Rafeh, Reza
    Rahmani, Adel T.
    THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 305 - +
  • [4] Verification of web service flows with model-checking techniques
    Nakajima, S
    FIRST INTERNATIONAL SYMPOSIUM ON CYBER WORLDS, PROCEEDINGS, 2002, : 378 - 385
  • [5] Model checking techniques for state space reduction in MANET protocol verification
    Kojima, Hideharu
    Nagashima, Yuta
    Tsuchiya, Tatsuhiro
    2016 IEEE 30TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW), 2016, : 509 - 516
  • [6] Model checking: Verification or debugging?
    Ruys, TC
    Brinksma, E
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, 2000, : 3009 - 3015
  • [7] Design verification by model checking
    1600, Japan Society for Software Science and Technology (31):
  • [8] MODEL CHECKING AND MODULAR VERIFICATION
    GRUMBERG, O
    LONG, DE
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (03): : 843 - 871
  • [9] Bytecode verification by model checking
    ETH Zürich, Zürich, Switzerland
    不详
    不详
    Basin, D., 1600, Kluwer Academic Publishers (30): : 3 - 4
  • [10] Bytecode Verification by Model Checking
    David Basin
    Stefan Friedrich
    Marek Gawkowski
    Journal of Automated Reasoning, 2003, 30 : 399 - 444
12345