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 条
  • [41] A SIMULATION ALGORITHM FOR MULTIENVIRONMENT PROBABILISTIC P SYSTEMS: A FORMAL VERIFICATION
    Martinez-Del-Amor, M. A.
    Perez-Hurtado, I.
    Perez-Jimenez, M. J.
    Riscos-Nunez, A.
    Sancho-Caparrini, F.
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2011, 22 (01) : 107 - 118
  • [42] On Lossy Source-Channel Transmission in Energy Harvesting Communication Systems
    Motlagh, M. Shahrbaf
    Khuzani, M. Badiei
    Mitran, P.
    2014 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY (ISIT), 2014, : 1181 - 1185
  • [43] Operational Duality between Lossy Compression and Channel Coding: Channel Decoders as Lossy Compressors
    Gupta, Ankit
    Verdu, Sergio
    2009 INFORMATION THEORY AND APPLICATIONS WORKSHOP, 2009, : 116 - 120
  • [44] Complexity of probabilistic verification
    1600, ACM, New York, NY, USA (42):
  • [45] Probabilistic verification and approximation
    Lassaigne, Richard
    Peyronneta, Sylvain
    ANNALS OF PURE AND APPLIED LOGIC, 2008, 152 (1-3) : 122 - 131
  • [46] THE COMPLEXITY OF PROBABILISTIC VERIFICATION
    COURCOUBETIS, C
    YANNAKAKIS, M
    JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY, 1995, 42 (04): : 857 - 907
  • [47] VERIFICATION OF PROBABILISTIC PROGRAMS
    SHARIR, M
    PNUELI, A
    HART, S
    SIAM JOURNAL ON COMPUTING, 1984, 13 (02) : 292 - 314
  • [48] Perspectives in probabilistic verification
    Kaoen, Joost-Pieter
    TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2008, : 3 - 10
  • [49] Probabilistic Verification and Approximation
    Lassaigne, Richard
    Peyronnet, Sylvain
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 143 : 101 - 114
  • [50] On Lossy Joint Source-Channel Coding in Energy Harvesting Communication Systems
    Motlagh, Meysam Shahrbaf
    Khuzani, Masoud Badiei
    Mitran, Patrick
    IEEE TRANSACTIONS ON COMMUNICATIONS, 2015, 63 (11) : 4433 - 4447
12345