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 条
  • [31] Permutation rewriting and algorithmic verification
    Bouajjani, Ahmed
    Muscholl, Anca
    Touili, Tayssir
    INFORMATION AND COMPUTATION, 2007, 205 (02) : 199 - 224
  • [32] A verification logic for rewriting logic
    Martí-Oliet, N
    Pita, I
    Fiadeiro, JL
    Meseguer, J
    Maibaum, T
    JOURNAL OF LOGIC AND COMPUTATION, 2005, 15 (03) : 317 - 352
  • [33] Permutation rewriting and algorithmic verification
    Bouajjani, A
    Muscholl, A
    Touili, T
    16TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2001, : 399 - 408
  • [34] NUMERICAL VERIFICATION OF MODEL MULTIBODY SYSTEMS
    Svoboda, Martin
    EXPERIMENTAL STRESS ANALYSIS 51, 2014, 486 : 239 - 244
  • [35] 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
  • [36] Deductive verification of probabilistic real-time systems
    Yamane, S
    24TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS, PROCEEDINGS, 2004, : 622 - 627
  • [37] Temporal verification of probabilistic multi-agent systems
    Dekhtyar, Michael I.
    Dikovsky, Alexander Ja.
    Valiev, Mars K.
    PILLARS OF COMPUTER SCIENCE, 2008, 4800 : 256 - +
  • [38] Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems
    Su, Guoxin
    Rosenblum, David S.
    FORMAL METHODS AND SOFTWARE ENGINEERING, 2013, 8144 : 297 - 312
  • [39] 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
  • [40] 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
12345