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 条
  • [31] STAMINA in C plus plus : Modernizing an Infinite-State Probabilistic Model Checker
    Jeppson, Joshua
    Volk, Matthias
    Israelsen, Bryant
    Roberts, Riley
    Williams, Andrew
    Buecherl, Lukas
    Myers, Chris J.
    Zheng, Hao
    Winstead, Chris
    Zhang, Zhen
    QUANTITATIVE EVALUATION OF SYSTEMS, QEST 2023, 2023, 14287 : 101 - 109
  • [32] Temporal prophecy for proving temporal properties of infinite-state systems
    Oded Padon
    Jochen Hoenicke
    Kenneth L. McMillan
    Andreas Podelski
    Mooly Sagiv
    Sharon Shoham
    Formal Methods in System Design, 2021, 57 : 246 - 269
  • [33] Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems
    Cook, Byron
    Khlaaf, Heidy
    Piterman, Nir
    JOURNAL OF THE ACM, 2017, 64 (02)
  • [34] Ensuring completeness of symbolic verification methods for infinite-state systems
    Abdulla, PA
    Jonsson, B
    THEORETICAL COMPUTER SCIENCE, 2001, 256 (1-2) : 145 - 167
  • [35] Automatic Discovery of Fair Paths in Infinite-State Transition Systems
    Cimatti, Alessandro
    Griggio, Alberto
    Magnago, Enrico
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2021, 2021, 12971 : 32 - 47
  • [36] First-order logic with reachability for infinite-state systems
    D'Osualdo, Emanuele
    Meyer, Roland
    Zetzsche, Georg
    PROCEEDINGS OF THE 31ST ANNUAL ACM-IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016), 2016, : 457 - 466
  • [37] Transitive closures of regular relations for verifying infinite-state systems
    Jonsson, B
    Nilsson, M
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2000, 1785 : 220 - 234
  • [38] On model checking for non-deterministic infinite-state systems
    Emerson, EA
    Namjoshi, KS
    THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1998, : 70 - 80
  • [39] SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems
    Draeger, Klaus
    Kupriyanov, Audrey
    Finkbeiner, Bernd
    Wehrheim, Heike
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2010, 6015 : 271 - +
  • [40] Temporal prophecy for proving temporal properties of infinite-state systems
    Padon, Oded
    Hoenicke, Jochen
    McMillan, Kenneth L.
    Podelski, Andreas
    Sagiv, Mooly
    Shoham, Sharon
    FORMAL METHODS IN SYSTEM DESIGN, 2021, 57 (02) : 246 - 269
12345