Collaboration / Thèse (depuis Janv. 2013)

Activités de recherche                                                    > Publications
  ° Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
  ° Test formel basé sur les modèles

Equipes :
  ° Vérification d'Algorithmes, Langages et Systèmes

Contact :
  WOLFF Burkhart

Pour en savoir plus : http://fortesse.lri.fr/index.php?option=com_content&view=article&id=69&Itemid=85#contract_system_X

° AdaCore SAS avec Vérification d'Algorithmes, Langages et Systèmes


° LSV, ENS Cachan avec Vérification d'Algorithmes, Langages et Systèmes


° System X FSF avec Vérification d'Algorithmes, Langages et Systèmes


° International Joint Project MoBasT avec Vérification d'Algorithmes, Langages et Systèmes


° GDR Informatique Mathématique