Prix de l'innovation Inria – Académie des sciences – Dassault Systèmes
- Imprimer
- Partager
- Partager sur Facebook
- Share on X
- Partager sur LinkedIn
L'équipe Convecs renforce la sûreté des systèmes parallèles. Quatre chercheurs de l'équipe-projet Convecs viennent de recevoir le Prix de l'innovation Inria – Académie des sciences – Dassault Systèmes.
Ils contribuent au développement de la boîte à outils CADP, dédiée à la modélisation et à la vérification des systèmes parallèles et distribués. L'objectif est de détecter automatiquement les erreurs de conception dans ces systèmes très complexes.
Voir le site de l'évènement : https://www.inria.fr/fr/equipe-convecs-surete-modelisation-systemes-par…
Au LIG
Radu MATEESCU
Directeur de recherche et responsable de l'équipe-projet Convecs
Hubert GARAVEL
Directeur de recherche
Frédéric LANG
Chargé de recherche
Wendelin SERWE
Chargé de recherche
- Imprimer
- Partager
- Partager sur Facebook
- Share on X
- Partager sur LinkedIn