81 search results - page 1 / 17 » PARAM: A Model Checker for Parametric Markov Models |
CAV
2010
Springer
13 years 3 months ago
2010
Springer
MMAS
2010
Springer
13 years 1 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
13 years 10 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
13 years 12 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
13 years 11 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...