Français Anglais
Accueil Annuaire Plan du site
Research results
Contract / grant for group Verification of Algorithms, Languages and Systems
DATE

Subvention
Jan 2013 - Dec 2014

Group : Verification of Algorithms, Languages and Systems
Principal investigator : 

Administrator : 
Affiliation : CNRS

Distributed Diagnosability and Testability of Faulty Systems

Formal analysis of diagnosability and testability in distributed and concurrent systems, formally
modelled with label transition systems and Petri nets

Research activities
  Formal Model-Based Testing
  Automated Reasoning

Participants
ZAIDI Fatiha
LONGUET Delphine


More information : https://date.ac.lri.fr/
Contracts & grants
° SESAME DIGIPODS UPS
REMOTE COLLABORATIVE INTERACTION AMONG HETEROGENEOUS VISUALIZATION PLATFORMS
REGION IDF

° ERC ONE
ERC ONE
CONTRAT EUROPEEN

° NEXT
NEXT

° SOFTQPRO
SOFTQPRO
ANR