81 search results - page 1 / 17 » PARAM: A Model Checker for Parametric Markov Models |
CAV
2010
Springer
13 years 7 months ago
2010
Springer
MMAS
2010
Springer
13 years 5 months ago
2010
Springer
We analyze the performance of the novel Markov chain stochastic modeling technique for derivation of effective equations for a set of essential variables. This technique is an empi...
TACAS
2000
Springer
14 years 2 months ago
2000
Springer
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branchin...
QEST
2005
IEEE
14 years 4 months ago
2005
IEEE
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL, and allows for th...
ICFEM
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...