Login / Signup
How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison.
David N. Jansen
Joost-Pieter Katoen
Marcel Oldenkamp
Mariëlle Stoelinga
Ivan S. Zapreev
Published in:
Haifa Verification Conference (2007)
Keyphrases
</>
model checker
model checking
formal methods
formal verification
description language
bayesian networks
temporal logic
formal specification
machine learning
relational databases
symbolic model checking
data mining
artificial intelligence
sequential patterns
test suite
ai planning