Login / Signup
The Probabilistic Model Checker Storm (Extended Abstract).
Christian Dehnert
Sebastian Junges
Joost-Pieter Katoen
Matthias Volk
Published in:
CoRR (2016)
Keyphrases
</>
extended abstract
model checker
model checking
formal verification
formal methods
description language
test suite
temporal logic
symbolic model checking
formal specification
bayesian networks
specification language
binary images
ai planning
set theory
distributed systems
general purpose
software engineering