Login / Signup
A Deductive Verification Infrastructure for Probabilistic Programs.
Philipp Schröer
Kevin Batz
Benjamin Lucien Kaminski
Joost-Pieter Katoen
Christoph Matheja
Published in:
Proc. ACM Program. Lang. (2023)
Keyphrases
</>
symbolic execution
database languages
probabilistic model
model checking
functional programs
data collection
information theoretic
bayesian networks
object oriented
generative model
hardware designs
neural network
database systems
formal verification
automatic programming
test generation
uncertain data