Sylvain Dailler

Extension paramétrée de compilateur certifié pour la programmation parallèle. (Parameterised extension of certified compiler for parallel programming)

Sylvain Dailler, Sylvain Dailler, 2015 .

Instrumenting a weakest precondition calculus for counterexample generation

Yannick Moy, Claude Marché, David Hauzar, 2018, J. Log. Algebraic Methods Program..

Lightweight Interactive Proving inside an Automatic Program Verifier pdf

Yannick Moy, Claude Marché, Sylvain Dailler, 2018, F-IDE@FLoC.