Réunion de travail
14 avril 2009, Paris Montparnasse
Participants :
- J.-P. Talpin, Thierry Gautier (INRIA-ESPRESSO)
- M. Moy, F. Maraninchi
(VERIMAG)
Objectif de la réunion :
Suite des travaux communs 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,
...).
Rédaction d'un article sur les expériences de comparaison. Cf. soumission AVOCS'09 (25 juin 2009)
Rédaction d'un article sur les expériences de comparaison. Cf. soumission AVOCS'09 (25 juin 2009)
