Bounded Model Checking for Probabilistic Programs.

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

Published in: ATVA (2016)

Keyphrases

bounded model checking
model checking
formal verification
temporal logic
probabilistic model
uncertain data
generative model
linear temporal logic
computer programs
dynamic programming
heuristic search
posterior probability