HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Model Checking by Censoring Markov Chains and Stochastic Comparison

Abstract : We study how to combine the censoring technique for Markov chains and the strong stochastic comparison to perform model checking of discrete-time Markov chains. Our goal is to reduce the complexity of the model checking in order to be able to consider numerically intractable models. In model checking we do not need the exact values but we must decide if the required guarantees are satisfied or not. Thus bounding methods are suitable in this context : if the bounds meet the threshold we can decide for the satisfaction of the formula. In the case when it is not possible to decide the satisfaction of the underlying formula through the bounds, we can refine the bounds by considering a larger set of states.
Document type :
Conference papers
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download

Contributor : Anne Bergez Connect in order to contact the contributor
Submitted on : Tuesday, May 12, 2009 - 11:13:17 AM
Last modification on : Wednesday, October 20, 2021 - 12:24:14 AM
Long-term archiving on: : Thursday, June 10, 2010 - 8:42:45 PM


Files produced by the author(s)


  • HAL Id : hal-00380667, version 1



Nihal Pekergin, Sana Younes. Model Checking by Censoring Markov Chains and Stochastic Comparison. 12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 7 p. ⟨hal-00380667⟩



Record views


Files downloads