On verifying C++ programs with probabilities.

Jiri Barnat Ivana Cerná Petr Rockai Vladimír Still Kristína Zákopcanová

Published in: SAC (2016)

Keyphrases

probability distribution
computer programs
automatic programming
answer sets
control structures
expected values
databases
neural network
bayesian networks
model checking
conditional probabilities
belief networks
java programs
control program