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 条
  • [21] An Approach to the Verification of Symmetric Parameterized Distributed Systems
    I. V. Konnov
    V. A. Zakharov
    Programming and Computer Software, 2005, 31 : 225 - 236
  • [22] SMT-Based Verification of Parameterized Systems
    Gurfinkel, Arie
    Shoham, Sharon
    Meshman, Yuri
    FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2016, : 338 - 348
  • [23] Heuristic optimization and dynamical system safety verification
    Neller, TW
    HYBRID SYSTEMS V, 1999, 1567 : 251 - 261
  • [24] Automatic symbolic verification of embedded systems
    Alur, R
    Henzinger, TA
    Ho, PH
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1996, 22 (03) : 181 - 201
  • [25] SVISS: Symbolic Verification of Symmetric Systems
    Wahl, Thomas
    Blanc, Nicolas
    Emerson, E. Allen
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2008, 4963 : 459 - +
  • [26] Verification of Safety and Liveness Properties of Metric Transition Systems
    Girard, Antoine
    Zheng, Gang
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2012, 11
  • [27] Practical Symbolic Verification of Regular Properties
    Yu, Hengbiao
    ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2017, : 1053 - 1055
  • [28] Parameterized verification
    Parosh A. Abdulla
    Giorgio Delzanno
    International Journal on Software Tools for Technology Transfer, 2016, 18 : 469 - 473
  • [29] Parameterized verification
    Abdulla, Parosh A.
    Delzanno, Giorgio
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2016, 18 (05) : 469 - 473
  • [30] Deductive Verification of Parameterized Embedded Systems Modeled in SystemC
    Tasche, Philip
    Monti, Raul E.
    Drerup, Stefanie Eva
    Blohm, Pauline
    Herber, Paula
    Huisman, Marieke
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2024, PT II, 2024, 14500 : 187 - 209
12345