activity
20162021
most citedSteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs

27 citations · 48 across the 3 of their papers we have counts for

collaborators
Showing 2018 · cs.PLShow all

1 paper · 2 filters

cs.PL2018★ 6 cited

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…