Contracts and grants - Laboratoire de Recherche en Informatique

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