Responsable d'équipe
Nathalie BERTRAND (Chercheuse, Inria)
Site web de l'équipe
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.
Date de création
01/01/2024
Etablissements de rattachement
Université de Rennes, CNRS, Inria
Localisation
Rennes
Département
Rapports d'activité
Fichier attaché | Taille |
---|---|
SUMO-RA-2023.pdf | 449.54 Ko |
Fait suite à
SUMO