Wiki Agenda Contact Version française

Publications : Sylvain Dailler

[3] 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 | full text on HAL ]
[2] 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 | full text on HAL ]
Keywords: Deductive Program Verification ; Weakest Precondition Calculus ; Satisfiability Modulo Theories ; Counterexamples
[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 ]

This page was generated by bibtex2html.