MODAL (MOdel for Data Analysis and Learning)

https://team.inria.fr/modal

RAPSODI (Reliable numerical APproximationS Of DIssipative systems)

https://team.inria.fr/rapsodi/

PARADYSE (PARticles And DYnamical SystEms)

https://team.inria.fr/paradyse/