ES PASS, Information Technology for European Advancement (ITEA2), 2008—2009
Former french research projects
"Informatique 92", MRT, Techniques symboliques pour l'analyse statique et la vérification de systèmes, BULL/IMAG/LIENS, novembre 1993-novembre 1996,
rapport final