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 条
  • [21] Complexity of Verification of Nondeterministic Probabilistic Multiagent Systems
    Valiev, M. K.
    Dekhtyar, M. I.
    AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2011, 45 (07) : 390 - 396
  • [22] Assume-Guarantee Verification for Probabilistic Systems
    Kwiatkowska, Marta
    Norman, Gethin
    Parker, David
    Qui, Hongyang
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2010, 6015 : 23 - +
  • [23] A probabilistic approach to automatic verification of concurrent systems
    Tronci, E
    Della Penna, G
    Intrigila, B
    Zilli, MV
    APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 317 - 324
  • [24] Verification and control of partially observable probabilistic systems
    Gethin Norman
    David Parker
    Xueyi Zou
    Real-Time Systems, 2017, 53 : 354 - 402
  • [25] Probabilistic verification for "black-box" systems
    Younes, HLS
    COMPUTER AIDED VERIFICATION< PROCEEDINGS, 2005, 3576 : 253 - 265
  • [26] Temporal Logic of Stochastic Actions for Verification of Probabilistic Systems
    Li Jun-tao
    Long Shi-gong
    14TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND APPLICATIONS FOR BUSINESS, ENGINEERING AND SCIENCE (DCABES 2015), 2015, : 62 - 65
  • [27] Deductive verification of probabilistic real-time systems
    Yamane, S
    24TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS, PROCEEDINGS, 2004, : 622 - 627
  • [28] Temporal verification of probabilistic multi-agent systems
    Dekhtyar, Michael I.
    Dikovsky, Alexander Ja.
    Valiev, Mars K.
    PILLARS OF COMPUTER SCIENCE, 2008, 4800 : 256 - +
  • [29] Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems
    Su, Guoxin
    Rosenblum, David S.
    FORMAL METHODS AND SOFTWARE ENGINEERING, 2013, 8144 : 297 - 312
  • [30] Verification of Nash-Equilibrium for Probabilistic BAR Systems
    Dileepa, Fernando
    Dong, Naipeng
    Jegourel, Cyrille
    Dong, Jin Song
    2016 21ST INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2016), 2016, : 53 - 62
12345