Publications : Sylvain Dailler
Back[3] |
Sylvain Dailler, David Hauzar, Claude Marché, and Yannick Moy.
Instrumenting a weakest precondition calculus for counterexample
generation.
Journal of Logical and Algebraic Methods in Programming,
99:97--113, 2018.
[ bib |
DOI |
full text on HAL ]
Keywords: Deductive Program Verification ; Weakest Precondition Calculus ; Satisfiability Modulo Theories ; Counterexamples |
[2] | Sylvain Dailler, Claude Marché, and Yannick Moy. Lightweight interactive proving inside an automatic program verifier. In Proceedings of the Fourth Workshop on Formal Integrated Development Environment, F-IDE, Oxford, UK, July 14, 2018, 2018. [ bib | DOI | full text on HAL ] |
[1] | Sylvain Dailler. Extension paramétrée de compilateur certifié pour la programmation parallèle. Thèse de doctorat, Université d'Orléans, 2015. [ bib | full text on HAL ] |
Back
This page was generated by bibtex2html.