Inria Innovation Prize – Académie des sciences – Dassault Systèmes.
The Convecs team strengthens the security of parallel systems. Four researchers from the Convecs project team were recently awarded the Inria Innovation Prize – Académie des sciences – Dassault Systèmes.
Their work contributes to the development of the CADP toolbox for modelling and verifying parallel and distributed systems. The aim is to automatically detect design flaws in highly complex systems.

Website : https://www.inria.fr/en/convecs-team-safety-modeling-distributed-paralle...
Mis à jour le 26 November 2021