On Automated Verification of Probabilistic Programs.

Axel Legay Andrzej S. Murawski Joël Ouaknine James Worrell

Published in: TACAS (2008)

Keyphrases

automated verification
model checking
automated reasoning
formal verification
bayesian networks
generative model
artificial intelligence
uncertain data
computer programs
neural network
database systems
data sets
machine learning
data driven
context sensitive