QEST
2008
IEEE
14 years 5 months ago
2008
IEEE
The performability distribution is the distribution of accumulated reward in a Markov reward model (MRM) with
QEST
2009
IEEE
14 years 5 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....