Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning.
Kevin BatzBenjamin Lucien KaminskiJoost-Pieter KatoenChristoph MathejaPublished in: Proc. ACM Program. Lang. (2021)
Keyphrases
- java bytecode
- computer programs
- symbolic execution
- programming language
- programming environment
- object oriented languages
- provably correct
- specification language
- agent programming
- control structures
- language constructs
- language learning
- bayesian networks
- dynamic logic
- face verification
- generative model
- concurrent programming
- verification method
- probabilistic model
- intermediate level
- high level
- functional language
- error handling
- highly expressive
- xquery full text
- probabilistic logic programs
- concurrent systems
- natural language
- object oriented
- model checking
- probabilistic logic