Login / Signup

A metaprogramming framework for formal verification.

Gabriel EbnerSebastian UllrichJared RoeschJeremy AvigadLeonardo 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