Volume 8 Number 12 (Dec. 2013)
Home > Archive > 2013 > Volume 8 Number 12 (Dec. 2013) >
JCP 2013 Vol.8(12): 3272-3279 ISSN: 1796-203X
doi: 10.4304/jcp.8.12.3272-3279

Counterexample Generation for Conditional Probability in Probabilistic Model Checking

Mingyu Ji1, 2, Di Wu1, Yanmei Li2, Zhiyan Chen2
1College of Information and Computer Engineering, Northeast Forestry University, Harbin, China
2College of Computer Science and Technology, Harbin Engineering University, Harbin, China


Abstract—with the wide application of probabilistic systems, the performance analysis for probabilistic system with model checking have attracted wide attention. For conditional probability formulae of complex parametric system, this paper proposes a counterexample generation method of conditional probability properties based on continuous time probabilistic model. We use continuous time Markov reward model with comprehensive feature representation ability as the system model need to be verified, give satisfiability probability solution algorithm of probabilistic computation tree logic multiple constraints until formulae path properties after model pretreatment, put forward the counterexample generation method of conditional probability on multiple constraints until formulae and give the example analysis. The theoretical analysis and example result show that the feasibility and validity of the method.

Index Terms—probabilistic system, performance analysis, model checking, conditional probability, counterexample generation

[PDF]

Cite: Mingyu Ji, Di Wu, Yanmei Li, Zhiyan Chen, "Counterexample Generation for Conditional Probability in Probabilistic Model Checking," Journal of Computers vol. 8, no. 11, pp. 3272-3279, 2013.

General Information

ISSN: 1796-203X
Frequency: Monthly
Editor-in-Chief: Prof. Liansheng Tan
Executive Editor: Ms. Nina Lee
Abstracting/ Indexing: DBLP, EBSCO,  ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat, CNKI,etc
E-mail: jcp@iap.org
  • Sep 13, 2018 News!

    Vol 13, No 10 has been published with online version   [Click]

  • Apr 28, 2019 News!

    Vol 14, No 4 has been published with online version 8 papers are published in this issue after peer review   [Click]

  • Mar 20, 2019 News!

    Vol 14, No 3 has been published with online version   [Click]

  • Feb 22, 2019 News!

    Vol 14, No 2 has been published with online version 8 papers are published in this issue after peer review   [Click]

  • Jan 04, 2019 News!

    Vol 14, No 1 has been published with online version   [Click]

  • Read more>>