A state space abstract algorithm of incremental data recognition based on model checking

被引：0
|
作者：
Lang, Dapeng [1 ]
Huang, Shaobin [1 ]
Cheng, Yuan [1 ]
Yang, Xinxin [1 ]
Li, Ya [1 ]
机构：
[1] College of Computer Sciences and Technology, Harbin Engineering University, Harbin 150001, China
来源：
Journal of Computational Information Systems | 2014年 / 10卷 / 04期
关键词：
D O I：
10.12733/jcis9544
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1731 / 1742
相关论文
共 50 条
  • [1] Incremental design-space model checking via reusable reachable state approximations
    Dureja, Rohit
    Rozier, Kristin Y.
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2021, 58 (03) : 375 - 398
  • [2] Incremental design-space model checking via reusable reachable state approximations
    Rohit Dureja
    Kristin Y. Rozier
    [J]. Formal Methods in System Design, 2021, 58 : 375 - 398
  • [3] Incremental checking of Master Data Management model based on contextual graphs
    Lamolle, Myriam
    Menet, Ludovic
    Le Duc, Chan
    [J]. ENTERPRISE INFORMATION SYSTEMS, 2015, 9 (07) : 681 - 708
  • [4] An Incremental Algorithm to Check Satisfiability for Bounded Model Checking
    Jin, HoonSang
    Somenzi, Fabio
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 119 (02) : 51 - 65
  • [5] Software Model Checking Method Based on Modular Abstract-Refine Algorithm Framework
    Wang S.
    Du Y.
    Han Z.
    [J]. Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2020, 48 (05): : 997 - 1002
  • [6] Model checking abstract state machines with answer set programming
    Tang, CKF
    Ternovska, E
    [J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3835 : 443 - 458
  • [7] Infinite state model checking by abstract interpretation and program specialisation
    Leuschel, M
    Massart, T
    [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, PROCEEDINGS, 2000, 1817 : 62 - 81
  • [8] Model checking abstract state machines with answer set programming
    Tang, Calvin Kai Fan
    Ternovska, Eugenia
    [J]. FUNDAMENTA INFORMATICAE, 2007, 77 (1-2) : 105 - 141
  • [9] Parallel State Space Construction for a Model Checking Based on Maximality Semantics
    Bouneb, Zine El Abidine
    Saidouni, Djamel Eddine
    [J]. INTELLIGENT SYSTEMS AND AUTOMATION, 2009, 1107 : 7 - 12
  • [10] Bounded model checking algorithm to reduce the state space in multi-agent systems
    Zhou, Cong-Hua
    Ye, Meng
    Wang, Chang-Da
    Liu, Zhi-Feng
    [J]. Ruan Jian Xue Bao/Journal of Software, 2012, 23 (11): : 2835 - 2861
12345