most cited3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2018

Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms

Guido Martínez, Danel Ahman, Victor Dumitrescu +10

We introduce Meta-F*, a tactics and metaprogramming framework for the F* program verifier. The main novelty of Meta-F* is allowing the use of tactics and metaprogramming to dischar…