Wiki Agenda Contact Version française

Publications : Sylvain Dailler

Back
[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 ]

Back
This page was generated by bibtex2html.