EQUAVE

EfficientQUAntitative VErification

Presentation

The context of this project is Quantitative Analysis of timed, stochastic and concurrent systems.
EQUAVE is a joint project between

EQUAVE is a joint INRIA/CEFIPRA associated team, and was selected in 2018.