Bounded Model Checking for Probabilistic Programs.

Nils Jansen Christian Dehnert Benjamin Lucien Kaminski Joost-Pieter Katoen Lukas Westhofen

Published in: CoRR (2016)

Keyphrases

bounded model checking
model checking
formal verification
probabilistic model
temporal logic
bayesian networks
linear temporal logic
multi agent systems
uncertain data
probabilistic logic
data sets
generative model
orders of magnitude
posterior probability
formal specification
finite state