3 search results - page 1 / 1 » The Ins and Outs of the Probabilistic Model Checker MRMC |
QEST
2009
IEEE
13 years 11 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....
HVC
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
130
click to vote
ICSE
2012
IEEE-ACM
11 years 7 months ago
2012
IEEE-ACM
—We propose an extension of van Lamsweerde’s goal-oriented requirements engineering to the domain of programmable DNA nanotechnology. This is a domain in which individual devic...