Keeping a Crowd Safe: On the Complexity of Parameterized Verification

被引：22
|
作者：
Esparza, Javier [1 ]
机构：
[1] Tech Univ Munich, Fac Comp Sci, Munich, Germany
来源：
31ST INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2014) | 2014年 / 25卷
关键词：
Parameterized verification; automata theory; MINIMAL COVERABILITY SET; SYSTEMS;
D O I：
10.4230/LIPIcs.STACS.2014.1
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We survey some results on the automatic verification of parameterized programs without identities. These are systems composed of arbitrarily many components, all of them running exactly the same finite-state program. We discuss the complexity of deciding that no component reaches an unsafe state. The note is addressed at theoretical computer scientists in general.
引用
收藏
页码：1 / 10
页数：10
相关论文
共 50 条
  • [31] Environment abstraction for parameterized verification
    Clarke, E
    Talupur, M
    Veith, H
    VERIFICATION, MODEL CHECKING , AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2006, 3855 : 126 - 141
  • [32] Monotonic Abstraction in Parameterized Verification
    Abdulla, Parosh Aziz
    Delzanno, Giorgio
    Rezine, Ahmed
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 223 (0C) : 3 - 14
  • [33] 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
  • [34] Automated Parameterized Verification of CRDTs
    Nagar, Kartik
    Jagannathan, Suresh
    COMPUTER AIDED VERIFICATION, CAV 2019, PT II, 2019, 11562 : 459 - 477
  • [35] Parameterized verification by probabilistic abstraction
    Arons, T
    Pnueli, A
    Zuck, L
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2003, 2620 : 87 - 102
  • [36] Parameterized Verification of Transactional Memories
    Emmi, Michael
    Majumdar, Rupak
    Manevich, Roman
    PLDI '10: PROCEEDINGS OF THE 2010 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2010, : 134 - 145
  • [37] Keeping Safe Rust Safe with Galeed
    Rivera, Elijah
    Mergendahl, Samuel
    Shrobe, Howard
    Okhravi, Hamed
    Burow, Nathan
    37TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE, ACSAC 2021, 2021, : 824 - 836
  • [38] Verification of parameterized timed systems
    Abdulla, PA
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2005, 3829 : 95 - 97
  • [39] Parameterized Verification of Transactional Memories
    Emmi, Michael
    Majumdar, Rupak
    Manevich, Roman
    ACM SIGPLAN NOTICES, 2010, 45 (06) : 134 - 145
  • [40] On parameterized exponential time complexity
    Chen, Jianer
    Kanj, Iyad A.
    Xia, Ge
    THEORETICAL COMPUTER SCIENCE, 2009, 410 (27-29) : 2641 - 2648
12345