Contrat (Production scientifique) - Laboratoire de Recherche en Informatique

Contrat de l'équipe Test Formel et Exploration de Systèmes

		USINE LOGICIELLE Industriel Avril 2006 - Mars 2008 Equipe : Test Formel et Exploration de Systèmes Responsable : Gestionnaire : Organisme gérant : Université Paris XI
Usine Logicielle Le LRI participe au sous-projet Modrival du projet Usine Logicielle. Ce sous-projet développe un ensemble coordonné d'outils de modélisation, validation et vérification de logiciels. Le LRI développe avec le CEA-LIST l'outil sALLUSTe de test statistique de systèmes réactifs décrits en Lustre. Activités de recherche Vérification Test de Logiciels Membres LRI