DéCySif est un projet i-Demo régional de R&D regroupant Adacore, l’INRIA, OCamlPro et TrustInSoft. Il vise à améliorer la sécurité et la sûreté des systèmes critiques en utilisant des outils de vérification formelle.
DéCySif est un projet i-Demo régional de R&D regroupant Adacore, l’INRIA, OCamlPro et TrustInSoft. Il vise à améliorer la sécurité et la sûreté des systèmes critiques en utilisant des outils de vérification formelle.