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: QEST (2009)

Keyphrases

model checker
model checking
formal verification
description language
formal methods
temporal logic
formal specification
symbolic model checking
ai planning
bayesian networks
test suite
set theory
genetic algorithm
search algorithm
evolutionary algorithm