Login / Signup
A metaprogramming framework for formal verification.
Gabriel Ebner
Sebastian Ullrich
Jared Roesch
Jeremy Avigad
Leonardo de Moura
Published in:
Proc. ACM Program. Lang. (2017)
Keyphrases
</>
formal verification
database
case study
bayesian networks
artificial intelligence
information systems
software engineering
main contribution
orders of magnitude
conceptual framework