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 条
  • [31] A Counter Abstraction Technique for the Verification of Probabilistic Swarm Systems
    Lomuscio, Alessio
    Pirovano, Edoardo
    AAMAS '19: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, 2019, : 161 - 169
  • [32] Quantitative Multi-objective Verification for Probabilistic Systems
    Forejt, Vojtech
    Kwiatkowska, Marta
    Norman, Gethin
    Parker, David
    Qu, Hongyang
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2011, 6605 : 112 - +
  • [33] Verifying lossy channel systems has nonprimitive recursive complexity
    Schnoebelen, P
    INFORMATION PROCESSING LETTERS, 2002, 83 (05) : 251 - 261
  • [34] PROBABILISTIC VERIFICATION
    PNUELI, A
    ZUCK, LD
    INFORMATION AND COMPUTATION, 1993, 103 (01) : 1 - 29
  • [35] Probabilistic verification of hierarchical leader election protocol in dynamic systems
    Yu Zhou
    Nvqi Zhou
    Tingting Han
    Jiayi Gu
    Weigang Wu
    Frontiers of Computer Science, 2018, 12 : 763 - 776
  • [36] Verification of Strong Nash-equilibrium for Probabilistic BAR Systems
    Fernando, Dileepa
    Dong, Naipeng
    Jegourel, Cyrille
    Dong, Jin Song
    FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2018, 2018, 11232 : 106 - 123
  • [37] Probabilistic verification of hierarchical leader election protocol in dynamic systems
    Zhou, Yu
    Zhou, Nvqi
    Han, Tingting
    Gu, Jiayi
    Wu, Weigang
    FRONTIERS OF COMPUTER SCIENCE, 2018, 12 (04) : 763 - 776
  • [38] Verification of Epistemic Properties in Probabilistic Multi-Agent Systems
    Delgado, Carla
    Benevides, Mario
    MULTI-AGENT SYSTEM TECHNOLOGIES, PROCEEDINGS, 2009, 5774 : 16 - +
  • [39] Learning-Based Compositional Verification for Synchronous Probabilistic Systems
    Feng, Lu
    Han, Tingting
    Kwiatkowska, Marta
    Parker, David
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2011, 6996 : 511 - 521
  • [40] Probabilistic verification of diagnosability for a certain class of timed stochastic systems
    Lefebvre, Dimitri
    Hadjicostis, Christoforos N.
    SYSTEMS & CONTROL LETTERS, 2023, 176
12345