Dependable distributed systems: Verification made efficient


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.

Team leader

DEVINE was created on January 2024. The members of DEVINE were previously members of the SUMO team.
Group picture