Software Verification
—
Master
2, 2009–2010
Slides
Introduction and Control Flow Automata
Data Flow Analysis
Abstract Interpretation
Exercises (in french)
Abstraction par prédicats :
sujet
,
corrigé
.