user

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期
关键词：
20;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：991 / 998
相关论文
共 50 条
  • [1] MONOTONIC ABSTRACTION (ON EFFICIENT VERIFICATION OF PARAMETERIZED SYSTEMS)
    Abdulla, Parosh Aziz
    Delzanno, Giorgio
    Ben Henda, Noomene
    Rezine, Ahmed
    [J]. INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2009, 20 (05) : 779 - 801
  • [2] Environment abstraction for parameterized verification
    Clarke, E
    Talupur, M
    Veith, H
    [J]. VERIFICATION, MODEL CHECKING , AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2006, 3855 : 126 - 141
  • [3] Monotonic Abstraction in Parameterized Verification
    Abdulla, Parosh Aziz
    Delzanno, Giorgio
    Rezine, Ahmed
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 223 : 3 - 14
  • [4] Parameterized verification by probabilistic abstraction
    Arons, T
    Pnueli, A
    Zuck, L
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2003, 2620 : 87 - 102
  • [5] Parameterized verification of systems with component identities, using view abstraction
    Gavin Lowe
    [J]. International Journal on Software Tools for Technology Transfer, 2022, 24 : 287 - 324
  • [6] Parameterized verification of systems with component identities, using view abstraction
    Lowe, Gavin
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2022, 24 (02) : 287 - 324
  • [7] Automatic abstraction for verification of timed circuits and systems
    Zheng, H
    Mercer, E
    Myers, C
    [J]. COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2001, 2102 : 182 - 193
  • [8] Mechanizing the CMP Abstraction for Parameterized Verification
    Li, Yongjian
    Zhan, Bohua
    Pang, Jun
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (OOPSLA):
  • [9] Parameterized verification through view abstraction
    Parosh Abdulla
    Frédéric Haziza
    Lukáš Holík
    [J]. International Journal on Software Tools for Technology Transfer, 2016, 18 : 495 - 516
  • [10] Parameterized verification through view abstraction
    Abdulla, Parosh
    Haziza, Frederic
    Holik, Lukas
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2016, 18 (05) : 495 - 516
12345