Français Anglais
Accueil Annuaire Plan du site
Production scientifique
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 : GAUDEL Marie-Claude

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
GAUDEL Marie-Claude



Contrats
° IUF
FABIO MARTIGNON
SUBVENTION

° DIGISCOPE UPS
INFRASTRUCTURE HAUTE PERFORMANCE POUR LA VISUALISATION INTERACTIVE ET COLLABORATIVE
ANR

° DIGISCOPE CNRS
INFRASTRUCTURE HAUTE PERFORMANCE POUR LA VISUALISATION INTERACTIVE ET COLLABORATIVE
ANR

° ATOS/BULL
CONTRAT ATOS/BULL
INDUSTRIEL

° CDS2
CDS2
SUBVENTION