8 search results - page 2 / 2 » CSL Model Checking Algorithms for Infinite-State Structured ... |
ENTCS
2008
13 years 5 months ago
2008
This paper considers QLtl, a quantitative analagon of Ltl and presents algorithms for model checking QLtl over quantitative versions of Kripke structures and Markov chains.
TSE
2010
12 years 11 months ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
MMB
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...