Prix de l'innovation Inria – Académie des sciences – Dassault Systèmes
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-para...
Mis à jour le 26 novembre 2021