DEVINE: 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.