Correctness by construction for probabilistic programs.

Annabelle McIver Carroll Morgan

Published in: CoRR (2020)

Keyphrases

provably correct
bayesian networks
probabilistic model
generative model
uncertain data
probabilistic logic
data driven
java programs
probabilistic relational
data sets
databases
multi agent systems
posterior probability
context sensitive
computer programs
programming environment