Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms.

Guido Martínez Danel Ahman Victor Dumitrescu Nick Giannarakis Chris Hawblitzel Catalin Hritcu Monal Narasimhamurthy Zoe Paraskevopoulou Clément Pit-Claudel Jonathan Protzenko Tahina Ramananandro Aseem Rastogi Nikhil Swamy

Published in: ESOP (2019)

Keyphrases