Franck Slama

Automatic generation of proof terms in dependently typed programming languages

Franck Slama, F. Slama, 2018 .

Automatically Proving Equivalence by Type-Safe Reflection

Edwin Brady, Franck Slama, 2017, CICM.

Automatic Predicate Testing in Formal Certification - You've only Proven What You've Said, Not What You Meant!

Franck Slama, 2016, TAP@STAF.