Verification of Probabilistic Programs.
Micha SharirAmir PnueliSergiu HartPublished in: SIAM J. Comput. (1984)
Keyphrases
- symbolic execution
- probabilistic model
- bayesian networks
- data driven
- uncertain data
- probabilistic logic
- posterior probability
- hardware designs
- verification method
- model checking
- data structure
- information theoretic
- belief networks
- computer programs
- face verification
- formal analysis
- social networks
- artificial intelligence
- machine learning
- neural network