Faire le point sur les techniques SSA et HPIOM pour l'extraction de modèles formels  depuis des programmes écrits dans des langages de la famille C (C++, Java, ...).

Expérience pratique de comparaison de modèle formel obtenu avec les deux approches.