A Storm is Coming: A Modern Probabilistic Model Checker.

Christian Dehnert Sebastian Junges Joost-Pieter Katoen Matthias Volk

Published in: CAV (2) (2017)

Keyphrases

model checker
model checking
formal verification
formal methods
temporal logic
description language
formal specification
test suite
set theory
ai planning
symbolic model checking
data mining
test cases
computational intelligence
image analysis
bayesian networks
image processing