3 search results - page 1 / 1 » The Ins and Outs of the Probabilistic Model Checker MRMC |
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....
HVC
2007
Springer
14 years 5 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...
180
click to vote
ICSE
2012
IEEE-ACM
12 years 1 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...