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 条
  • [41] Parameterized Verification of Leader/Follower Systems via Arithmetic Constraints
    Kourtis, Georgios
    Dixon, Clare
    Fisher, Michael
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2024, 50 (09) : 2458 - 2471
  • [42] Parameterized verification of graph transformation systems withwhole neighbourhood operations
    Universit`a di Genova, Italy
    不详
    Lect. Notes Comput. Sci., (72-84):
  • [43] Microprocessor Hazard Analysis Via Formal Verification of Parameterized Systems
    Charvat, Lukas
    Smrcka, Ales
    Vojnar, Tomas
    COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2015, 2015, 9520 : 605 - 614
  • [44] Parameterized verification of systems with component identities, using view abstraction
    Lowe, Gavin
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2022, 24 (02) : 287 - 324
  • [45] Parameterized verification of systems with component identities, using view abstraction
    Gavin Lowe
    International Journal on Software Tools for Technology Transfer, 2022, 24 : 287 - 324
  • [46] Unfold/fold transformations for automated verification of parameterized concurrent systems
    Roychoudhury, A
    Ramakrishnan, CR
    PROGRAM DEVELOPMENT IN COMPUTATIONAL LOGIC: A DECADE OF RESEARCH ADVANCES IN LOGIC-BASED PROGRAM DEVELOPMENT, 2004, 3049 : 261 - 290
  • [47] Beyond parameterized verification
    Bozzano, M
    Delzanno, G
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANAYLSIS OF SYSTEMS, PROCEEDINGS, 2002, 2280 : 221 - 235
  • [48] Decidability of parameterized verification
    Bloem, Roderick
    Khalimov, Ayrat
    Jacobs, Swen
    Konnov, Igor
    Veith, Helmut
    Widder, Josef
    Rubin, Sasha
    Synthesis Lectures on Distributed Computing Theory, 2015, 6 (01): : 1 - 170
  • [49] Verification of parameterized protocols
    Baukus, K
    Lakhnech, Y
    Stahl, K
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2001, 7 (02): : 141 - 158
  • [50] Safety Verification for Linear Systems
    Duggirala, Parasara Sridhar
    Tiwari, Ashish
    2013 PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT), 2013,
12345