A metaprogramming framework for formal verification
Published in Proc. ACM Program. Lang., 2017
Recommended citation: Gabriel Ebner, Sebastian Ullrich, Jared Roesch, Jeremy Avigad, Leonardo Moura, "A metaprogramming framework for formal verification." Proc. ACM Program. Lang., 2017.
Download Paper