Français Anglais
Accueil Annuaire Plan du site
Research results
Contract / grant for group Formal Testing and System Exploration
SOFTWARE FACTORY

Industriel
Apr 2006 - Mar 2008

Group : Formal Testing and System Exploration
Principal investigator : 

Administrator : 
Affiliation : Université Paris XI

Software Factory

The LRI team is involved in the Modrival sub-project of the Software Factory Project. This sub-project develops a coordinated set of tools for modelling, validating and verifying software systems.
The LRI develops with CEA-LIST the tool sALLUSTe for statistical testing of reactive systems described in the Lustre language.

Research activities
  Verification
  Software Testing

Participants


Contracts & grants
° SESAME DIGIPODS UPS
REMOTE COLLABORATIVE INTERACTION AMONG HETEROGENEOUS VISUALIZATION PLATFORMS
REGION IDF

° NEXT
NEXT