Davy Rouillard

Application de techniques de preuve assistée pour la spécification, la vérification et le test. (assisted proof methods for the specification, verification and test)

Davy Rouillard, Davy Rouillard, 2002 .

VisAA: Visual analyzer for assembler

Philippe Andouard, Olivier Ly, Davy Rouillard, 2008, 2008 Third International Conference on Risks and Security of Internet and Systems.

Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis

Richard Castanet, Davy Rouillard, 2002, TestCom.