| Laboratoire |
Laboratoire
Spécification et Vérification (LSV) |
| Nom
de l'équipe ou du projet |
Laboratoire
Spécification et Vérification (LSV) |
| Responsable |
Michel
Bidoit |
| Effectifs
(chercheurs, enseignants-chercheurs, thésards, ingénieurs, techniciens) |
7
(6 CNRS, 1 INRIA), 8, 12, 1 ,0 |
| Axes
de recherche (liste de mots-clefs) |
- Modèles,
logiques et algorithmique pour la vérification de systèmescritiques,
en particulier les aspects temps-réel
- Qualité
de services télécoms
- Vérification
de protocoles cryptographiques et sécurité
- Model-checking
compositionnel
|
| Relations
industrielles ( liste de partenaires industriels) |
EDF,
ALCATEL, France Telecom, CEA, CRIL Technology, Trusted Logic,NetSecure
Software. |
| Participation
à des programmes nationaux (ex. RNTL, RNRT) (liste de projets) |
- RNRT: CALIFE
- RNTL: EVA,
DICO, AVERROES
|
| Participation
à des programmes européens (ex. IST) (liste de projets) |
|
| Plates-formes |
|
| Suggestions |
|