Automated Analysis of Probabilistic Infinite-state Systems

被引：0
|
作者：
Wojtczak, Dominik [1 ]
机构：
[1] Univ Liverpool, Liverpool, Merseyside, England
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2013年 / 140期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：85 / +
页数：4
相关论文
共 50 条
  • [21] Global model-checking of infinite-state systems
    Piterman, N
    Vardi, MY
    COMPUTER AIDED VERIFICATION, 2004, 3114 : 387 - 400
  • [22] Infinite-State Energy Games
    Abdulla, Parosh Aziz
    Atig, Mohamed Faouzi
    Hofman, Piotr
    Mayr, Richard
    Kumar, K. Narayan
    Totzke, Patrick
    PROCEEDINGS OF THE JOINT MEETING OF THE TWENTY-THIRD EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL) AND THE TWENTY-NINTH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2014,
  • [23] Proving the Existence of Fair Paths in Infinite-State Systems
    Cimatti, Alessandro
    Griggio, Alberto
    Magnago, Enrico
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2021, 2021, 12597 : 104 - 126
  • [24] Decidability of model checking for infinite-state concurrent systems
    Esparza, J
    ACTA INFORMATICA, 1997, 34 (02) : 85 - 107
  • [25] Abstraction and modular verification of infinite-state reactive systems
    Manna, Z
    REQUIREMENTS TARGETING SOFTWARE AND SYSTEMS ENGINEERING, 1998, 1526 : 273 - 292
  • [26] A Decidability Result for the Model Checking of Infinite-State Systems
    Zucchelli, Daniele
    Nicolini, Enrica
    JOURNAL OF AUTOMATED REASONING, 2012, 48 (01) : 1 - 42
  • [27] A framework for the verification of infinite-state graph transformation systems
    Baldan, Paolo
    Corradini, Andrea
    Koenig, Barbara
    INFORMATION AND COMPUTATION, 2008, 206 (07) : 869 - 907
  • [28] Foundations of Infinite-State Verification
    Majumdar, Rupak
    SOFTWARE SYSTEMS SAFETY, 2014, 36 : 191 - 222
  • [29] Assumption-Based Runtime Verification of Infinite-State Systems
    Cimatti, Alessandro
    Tian, Chun
    Tonetta, Stefano
    RUNTIME VERIFICATION (RV 2021), 2021, 12974 : 207 - 227
  • [30] INFINITE-STATE SPECTRUM MODEL FOR MUSIC SIGNAL ANALYSIS
    Nakano, Masahiro
    Le Roux, Jonathan
    Kameoka, Hirokazu
    Ono, Nobutaka
    Sagayama, Shigeki
    2011 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, 2011, : 1972 - 1975
12345