Formal verification of higher-order probabilistic programs.
Tetsuya SatoAlejandro AguirreGilles BartheMarco GaboardiDeepak GargJustin HsuPublished in: CoRR (2018)
Keyphrases
- formal verification
- higher order
- program slicing
- model checking
- high order
- automated verification
- bounded model checking
- model checker
- natural images
- pairwise
- symbolic model checking
- bayesian networks
- probabilistic model
- uncertain data
- markov random field
- lower order
- functional verification
- probabilistic logic programs
- low order
- temporal logic
- probabilistic logic
- computer programs
- theorem proving
- conditional probabilities
- generative model
- knowledge base