HI-LITE Region IDF Mai 2010 - Mai 2013 Equipe : Toccata Responsable : MARCHÉ Claude Gestionnaire :  Organisme gérant : INRIA
HI-LITE Activités de recherche   Démonstration automatique, SMT et applications   Formalisation de langages (de spécification et de programmation) dans les assistants de preuve   Vérification déductive de programmes Membres LRI Pour en savoir plus : http://www.open-do.org/projects/hi-lite/

° SESAME DIGIPODS UPS
INTERACTION COLLABORATIVE à DISTANCE ENTRE PLATEFORMES DE VISUALISATION HéTéROGèNES
REGION IDF