DEVINE : Dependable distributed systems: Verification made efficient

L'objectif global de l'équipe du projet Devine est de contribuer à la conception de systèmes distribués fiables qui intègrent des aspects quantitatifs tels que le temps, le coût ou les probabilités. Devine propose de développer des méthodes formelles efficaces basées sur des modèles pour vérifier et assurer leurs propriétés fonctionnelles et non fonctionnelles.