Vérification de Logiciels
—
Master 2
, 2009–2010
Transparents (en anglais)
Introduction and Control Flow Automata
Data Flow Analysis
Abstract Interpretation
Exercices
Abstraction par prédicats :
sujet
,
corrigé
Grégoire Sutre
Last modified: Sat Oct 10 19:19:59 CEST 2009