The verification of probabilistic lossy channel systems

被引：0
|
作者：
Schnoebelen, P
机构：
[1] ENS, Lab Specificat & Verificat, F-94235 Cachan, France
[2] CNRS, UMR 8643, F-94235 Cachan, France
来源：
VALIDATION OF STOCHASTIC SYSTEMS: A GUIDE TO CURRENT RESEARCH | 2004年 / 2925卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Lossy channel systems (LCS's) are systems of finite state automata that communicate via unreliable unbounded fifo channels. Several probabilistic versions of these systems have been proposed in recent years, with the two aims of modeling more faithfully the losses of messages, and circumventing undecidabilities by some kind of randomization. We survey these proposals and the verification techniques they support.
引用
收藏
页码：445 / 465
页数：21
相关论文
共 50 条
  • [1] Quantitative analysis of Probabilistic Lossy Channel Systems
    Rabinovich, A
    AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2003, 2719 : 1008 - 1021
  • [2] Quantitative analysis of probabilistic lossy channel systems
    Rabinovich, Alexander
    INFORMATION AND COMPUTATION, 2006, 204 (05) : 713 - 740
  • [3] Using Forward Reachability Analysis for Verification of Lossy Channel Systems
    Parosh Aziz Abdulla
    Aurore Collomb-Annichini
    Ahmed Bouajjani
    Bengt Jonsson
    Formal Methods in System Design, 2004, 25 : 39 - 65
  • [4] Using forward reachability analysis for verification of lossy channel systems
    Abdulla, PA
    Collomb-Annichini, A
    Bouajjani, A
    Jonsson, B
    FORMAL METHODS IN SYSTEM DESIGN, 2004, 25 (01) : 39 - 65
  • [5] Symbolic verification of lossy channel systems: Application to the bounded retransmission protocol
    Abdulla, P
    Annichini, A
    Bouajjani, A
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1999, 1579 : 208 - 222
  • [6] On verifying fair lossy channel systems
    Masson, B
    Schnoebelen, P
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2002, 2002, 2420 : 543 - 555
  • [7] Safety Verification for Probabilistic Hybrid Systems
    Zhang, Lijun
    She, Zhikun
    Ratschan, Stefan
    Hermanns, Holger
    Hahn, Ernst Moritz
    EUROPEAN JOURNAL OF CONTROL, 2012, 18 (06) : 572 - 587
  • [8] Verification of probabilistic systems with faulty communication
    Abdulla, PA
    Bertrand, N
    Rabinovich, A
    Schnoebelen, P
    INFORMATION AND COMPUTATION, 2005, 202 (02) : 141 - 165
  • [9] Probabilistic Verification of Concurrent Autonomous Systems
    Parker, David
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (339): : 9 - 9
  • [10] Automated Verification Techniques for Probabilistic Systems
    Forejt, Vojtech
    Kwiatkowska, Marta
    Norman, Gethin
    Parker, David
    FORMAL METHODS FOR ETERNAL NETWORKED SOFTWARE SYSTEMS, SFM 2011, 2011, 6659 : 53 - 113
12345