Automatic abstraction for verification of parameterized systems

被引：0
|
作者：
Zhang, Long [1 ]
Qu, Wanxia [1 ]
Guo, Yang [1 ]
Li, Sikun [1 ]
机构：
[1] School of Computer, National University of Defense Technology, Changsha 410073, China
来源：
Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao/Journal of Computer-Aided Design and Computer Graphics | 2014年 / 26卷 / 06期
关键词：
Model checking;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：991 / 998
相关论文
共 50 条
  • [41] An Approach to the Verification of Symmetric Parameterized Distributed Systems
    I. V. Konnov
    V. A. Zakharov
    [J]. Programming and Computer Software, 2005, 31 : 225 - 236
  • [42] SMT-Based Verification of Parameterized Systems
    Gurfinkel, Arie
    Shoham, Sharon
    Meshman, Yuri
    [J]. FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2016, : 338 - 348
  • [43] A generic framework of two-dimension abstraction for parameterized systems
    Qu, Wan-Xia
    Pang, Zheng-Bin
    Guo, Yang
    Li, Tun
    Yang, Xiao-Dong
    [J]. Guofang Keji Daxue Xuebao/Journal of National University of Defense Technology, 2010, 32 (01): : 95 - 100
  • [44] Automatic datapath abstraction in hardware systems
    Hojati, R
    Brayton, RK
    [J]. COMPUTER AIDED VERIFICATION, 1995, 939 : 98 - 113
  • [45] Monotonic abstraction in action (automatic verification of distributed mutex algorithms)
    Abdulla, Parosh Aziz
    Delzanno, Giorgio
    Rezine, Ahmed
    [J]. THEORETICAL ASPECTS OF COMPUTING - ICTAC 2008, PROCEEDINGS, 2008, 5160 : 50 - +
  • [46] Automatic Probabilistic Program Verification through Random Variable Abstraction
    Barsotti, Damian
    Wolovick, Nicolas
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (28): : 34 - 47
  • [47] Automatic data path abstraction for verification of large scale designs
    Paruthi, V
    Mansouri, N
    Vemuri, R
    [J]. INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 1998, : 192 - 194
  • [48] Abstraction and Idealization in the Formal Verification of Software Systems
    Nicola Angius
    [J]. Minds and Machines, 2013, 23 : 211 - 226
  • [49] Incremental Abstraction for Diagnosability Verification of Modular Systems
    Noori-Hosseini, Mona
    Lennartson, Bengt
    [J]. 2019 24TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2019, : 393 - 399
  • [50] Abstraction and Idealization in the Formal Verification of Software Systems
    Angius, Nicola
    [J]. MINDS AND MACHINES, 2013, 23 (02) : 211 - 226
12345