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
° 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

° LCHIP
LCHIP

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