Login / Signup
The ins and outs of the probabilistic model checker MRMC.
Joost-Pieter Katoen
Ivan S. Zapreev
Ernst Moritz Hahn
Holger Hermanns
David N. Jansen
Published in:
Perform. Evaluation (2011)
Keyphrases
</>
model checker
model checking
formal verification
formal methods
temporal logic
description language
bayesian networks
test suite
formal specification
symbolic model checking
ai planning
web services
linear programming