Heuristic symbolic verification of safety properties for parameterized systems

被引：0
|
作者：
Yang, Qiu-Song [1 ,2 ]
Li, Ming-Shu [1 ,3 ]
机构：
[1] Laboratory for Internet Software Technologies, Institute of Software, Chinese Acad. of Sci., Beijing 100190, China
[2] Graduate University, Chinese Acad. of Sci., Beijing 100049, China
[3] State Key Laboratory of Computer Science, Institute of Software, Chinese Acad. of Sci., Beijing 100190, China
来源：
Ruan Jian Xue Bao/Journal of Software | 2009年 / 20卷 / 06期
关键词：
All Open Access; Bronze;
D O I：
10.3724/SP.J.1001.2009.03352
中图分类号：
学科分类号：
摘要：
19
引用
收藏
页码：1444 / 1456
相关论文
共 50 条
  • [1] Universal properties verification of parameterized parallel systems
    Nugraheni, CE
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2005, PT 3, 2005, 3482 : 453 - 462
  • [2] Parameterized Verification of Safety Properties in Ad Hoc Network Protocols
    Delzanno, Giorgio
    Sangnier, Arnaud
    Zavattaro, Gianluigi
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (60): : 56 - 65
  • [3] Symbolic Bisimulation for Open and Parameterized Systems
    Hou, Zechen
    Madelaine, Eric
    PROCEEDINGS OF THE 2020 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM '20), 2020, : 14 - 26
  • [4] Parameterized verification of π-calculus systems
    Yang, Ping
    Basu, Samik
    Ramakrishnan, C. R.
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2006, 3920 : 42 - 57
  • [5] Verification of parameterized timed systems
    Abdulla, PA
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2005, 3829 : 95 - 97
  • [6] Parameterized verification of monotone information systems
    Chane-Yack-Fa, Raphael
    Frappier, Marc
    Mammar, Amel
    Finkel, Alain
    FORMAL ASPECTS OF COMPUTING, 2018, 30 (3-4) : 463 - 489
  • [7] Compositional analysis for verification of parameterized systems
    Basu, S
    Ramakrishnan, CR
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2003, 2619 : 315 - 330
  • [8] Compositional analysis for verification of parameterized systems
    Basu, S
    Ramakrishnan, CR
    THEORETICAL COMPUTER SCIENCE, 2006, 354 (02) : 211 - 229
  • [9] Automatic abstraction for verification of parameterized systems
    Zhang, Long
    Qu, Wanxia
    Guo, Yang
    Li, Sikun
    Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao/Journal of Computer-Aided Design and Computer Graphics, 2014, 26 (06): : 991 - 998
  • [10] A unifying model checking approach for safety properties of parameterized systems
    Maidl, M
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2001, 2102 : 311 - 323
12345