DEVINE

Head of team
Nathalie BERTRAND (Researcher, Inria)

DEVINE: Dependable distributed systems: Verification made efficient

Further information to come (including the research team's website)

The overall goal of the Devine project-team is to contribute to the design of dependable distributed systems that include quantitative aspects such as time, cost or probabilities. Devine proposes to develop efficient model-based formal methods to verify and enforce their functional and non-functional properties.
 

Creation date
01/01/2024
Reporting institution
Université de Rennes, CNRS, Inria
Location
Rennes
Activity reports
Attachment Size
SUMO-RA-2023.pdf 449.54 KB
Continuation team
SUMO