On the numerical verification of probabilistic rewriting systems

被引：0
|
作者：
Ben Hassen, Jounaidi [1 ]
Tahar, Sofiene [1 ]
机构：
[1] Concordia Univ, Dept Elect & Comp Engn, Montreal, PQ H3G 1M8, Canada
来源：
2006 DESIGN AUTOMATION AND TEST IN EUROPE, VOLS 1-3, PROCEEDINGS | 2006年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
We present in this paper a technique for the formal verification of probabilistic systems described in PMAUDE, a probabilistic extension of the rewriting system Maude. Our methodology is based on a numerical verification using the probabilistic symbolic model checking tool PRISM. In particular we show how we can construct an abstract system from the runs of a model that preserve all the probabilistic properties of the latter Then we deduce the probabilistic matrix that will be used for the verification in PRISM.
引用
收藏
页码：1223 / +
页数：2
相关论文
共 50 条
  • [1] Languages, rewriting systems, and verification of infinite-state systems
    Bouajjani, A
    AUTOMATA LANGUAGES AND PROGRAMMING, PROCEEDING, 2001, 2076 : 24 - 39
  • [2] A rewriting based model for probabilistic distributed object systems
    Kumar, N
    Sen, K
    Meseguer, J
    Agha, G
    FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2003, 2884 : 32 - 46
  • [3] 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
  • [4] Verification of probabilistic systems with faulty communication
    Abdulla, PA
    Bertrand, N
    Rabinovich, A
    Schnoebelen, P
    INFORMATION AND COMPUTATION, 2005, 202 (02) : 141 - 165
  • [5] The verification of probabilistic lossy channel systems
    Schnoebelen, P
    VALIDATION OF STOCHASTIC SYSTEMS: A GUIDE TO CURRENT RESEARCH, 2004, 2925 : 445 - 465
  • [6] Probabilistic Verification of Concurrent Autonomous Systems
    Parker, David
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (339): : 9 - 9
  • [7] 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
  • [8] Verification of probabilistic systems with faulty communication
    Abdulla, PA
    Rabinovich, A
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2003, 2620 : 39 - 53
  • [9] Safety Verification for Probabilistic Hybrid Systems
    Zhang, Lijun
    She, Zhikun
    Ratschan, Stefan
    Hermanns, Holger
    Hahn, Ernst Moritz
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2010, 6174 : 196 - 211
  • [10] On Probabilistic Term Rewriting
    Avanzini, Martin
    Dal Lago, Ugo
    Yamada, Akihisa
    FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2018, 2018, 10818 : 132 - 148
12345