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 条
  • [31] Verification of parameterized systems using logic program transformations
    Roychoudhury, A
    Kumar, KN
    Ramakrishnan, CR
    Ramakrishnan, IV
    Smolka, SA
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2000, 1785 : 172 - 187
  • [32] A Framework for the Verification of Parameterized Infinite-state Systems
    Alberti, Francesco
    Ghilardi, Silvio
    Sharygina, Natasha
    FUNDAMENTA INFORMATICAE, 2017, 150 (01) : 1 - 24
  • [33] Parameterized Verification of Asynchronous Shared-Memory Systems
    Esparza, Javier
    Ganty, Pierre
    Majumdar, Rupak
    JOURNAL OF THE ACM, 2016, 63 (01)
  • [34] Symbolic verification and analysis of discrete timed systems
    Ruf, J
    Kropf, T
    FORMAL METHODS IN SYSTEM DESIGN, 2003, 23 (01) : 67 - 108
  • [35] Symbolic Verification of Control Systems and Operating Procedures
    Rawlings, Blake C.
    Kim, Jinkyung
    Moon, Il
    Ydstie, B. Erik
    INDUSTRIAL & ENGINEERING CHEMISTRY RESEARCH, 2014, 53 (13) : 5299 - 5310
  • [36] Symbolic verification of hybrid systems: An algebraic approach
    von Mohrenschildt, M
    EUROPEAN JOURNAL OF CONTROL, 2001, 7 (05) : 541 - 556
  • [37] Symbolic Verification and Analysis of Discrete Timed Systems
    Jürgen Ruf
    Thomas Kropf
    Formal Methods in System Design, 2003, 23 : 67 - 108
  • [38] Insertion Modeling and Symbolic Verification of Large Systems
    Letichevsky, Alexander
    Letychevskyi, Oleksandr
    Peschanenko, Volodymyr
    Weigert, Thomas
    SDL 2015: MODEL-DRIVEN ENGINEERING FOR SMART CITIES, 2015, 9369 : 3 - 18
  • [39] Verification of safety properties
    不详
    PARTIAL-ORDER METHODS FOR THE VERIFICATION OF CONCURRENT SYSTEMS, 1996, 1032 : 85 - 102
  • [40] Verification of CTLBDI Properties by Symbolic Model Checking
    Chen, Ran
    Zhang, Wenhui
    2019 26TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), 2019, : 102 - 109
12345