Français Anglais
Accueil Annuaire Plan du site
Production scientifique
Contrat de l'équipe Vérification d'Algorithmes, Langages et Systèmes
DATE - AMSUD

Subvention
Janv. 2013 - Déc. 2014

Equipe : Vérification d'Algorithmes, Langages et Systèmes
Responsable : DAGUE Philippe

Gestionnaire : 
Organisme gérant : CNRS

Distributed Diagnosability and Testability of Faulty Systems

Analyse formelle des propriétés de diagnosticabilité et de testabilité dans les systèmes distribués et concurrents modélisés par des systèmes de transitions étiquetées ou des réseaux de Petri

Activités de recherche
  Test formel basé sur les modèles
  Raisonnement automatique

Membres LRI
ZAIDI Fatiha
DAGUE Philippe
LONGUET Delphine


Pour en savoir plus : https://date.ac.lri.fr/
Contrats
° SOPRANO
SOPRANO
ANR

° ORACLE AMERICA INC
ORACLE AMERICA INC

° VOCAL
VOCAL
ANR

° PARDI
PARDI
ANR

° LCHIP
LCHIP