Réunion de travail
30 juin 2009, Paris Montparnasse
Participants :
- J.-P. Talpin, Thierry Gautier, Loic Besnard, Kenneth Johnson (INRIA-ESPRESSO)
- M. Moy, F. Maraninchi, B. Karkare
(VERIMAG)
Objectif de la réunion :
Préparation de l'évaluation de septembre 2009.
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, ...). Après la soumission du papier AVOCS (25 juin 09) qui porte essentiellement sur SSA, nous travaillons sur un prochain article de conférence qui portera plus sur SystemC.
La soumission AVOCS devient un rapport de recherche INRIA (numéro 6976)
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, ...). Après la soumission du papier AVOCS (25 juin 09) qui porte essentiellement sur SSA, nous travaillons sur un prochain article de conférence qui portera plus sur SystemC.
La soumission AVOCS devient un rapport de recherche INRIA (numéro 6976)
