DEVINE (SR0953TR)

Vérification efficace pour des systèmes distribués fiables

SUMO (SR0671YR) →  DEVINE

Statut: Décision signée

Responsable : Nathalie Bertrand

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2024" : A2.4. Méthodes formelles pour vérification, sureté, certification , A2.4.2. Model-checking , A2.5.5. Test logiciel , A8.9. Evaluation de performances , A8.11. Théorie des jeux

Mots-clés de "B - Autres sciences et domaines d'application - 2024" : B5.1. Usine du futur , B6.6. Systèmes embarqués , B7.1. Gestion des traffics

Domaine : Algorithmique, programmation, logiciels et architectures
Thème : Preuves et vérification

Période : 01/01/2024 -> 31/12/2027
Dates d'évaluation :

Etablissement(s) de rattachement : CNRS
Laboratoire(s) partenaire(s) : IRISA (UMR6074)

CRI : Centre Inria de l'Université de Rennes
Localisation : Centre Inria de l'Université de Rennes
Code structure Inria : 031142-0

Numéro RNSR : 202424472A
N° de structure Inria: SR0953TR

Présentation

Axes de recherche

Relations industrielles et internationales