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 条
  • [41] Infinite-state graph transformation systems under adverse conditions
    Oezkan, Okan
    IT-INFORMATION TECHNOLOGY, 2021, 63 (5-6): : 311 - 320
  • [42] Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems
    Padon, Oded
    Hoenicke, Jochen
    McMillan, Kenneth L.
    Podelski, Andreas
    Sagiv, Mooly
    Shoham, Sharon
    PROCEEDINGS OF THE 2018 18TH CONFERENCE ON FORMAL METHODS IN COMPUTER AIDED DESIGN (FMCAD), 2018, : 74 - 84
  • [43] Verification of infinite-state dynamic systems using approximate quotient transition systems
    Chutinan, A
    Krogh, BH
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2001, 46 (09) : 1401 - 1410
  • [44] Equivalence-checking on infinite-state systems: Techniques and results
    Kucera, Antonin
    Jancar, Petr
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2006, 6 : 227 - 264
  • [45] Symbolic model checking of infinite-state systems using narrowing
    Escobar, Santiago
    Meseguer, Jose
    TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2007, 4533 : 153 - +
  • [46] Sound Verification Procedures for Temporal Properties of Infinite-State Systems
    Peyras, Quentin
    Bodeveix, Jean-Paul
    Brunel, Julien
    Chemouil, David
    COMPUTER AIDED VERIFICATION, PT II, CAV 2021, 2021, 12760 : 337 - 360
  • [47] A general approach to comparing infinite-state systems with their finite-state specifications
    Kucera, Antonin
    Schnoebelen, Philippe
    THEORETICAL COMPUTER SCIENCE, 2006, 358 (2-3) : 315 - 333
  • [48] Stability of fuzzy infinite-state automaton
    Wu, Qinge
    Wang, Tuo
    Huang, Yongxuan
    Li, Jisheng
    Advances in Intelligent IT: Active Media Technology 2006, 2006, 138 : 404 - 407
  • [49] Equivalence-checking with infinite-state systems: Techniques and results
    Kucera, A
    Jancar, P
    SOFSEM 2002: THEORY AND PRACTICE OF INFORMATICS, 2002, 2540 : 41 - 73
  • [50] Some perspectives of infinite-state verification
    Thomas, W
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2005, 3707 : 3 - 10
12345