Ecosystem Registry

VERIDIS: Modeling and Verification of Distributed Algorithms and Systems

University or research institute · Villers-lès-Nancy, France · Founded 2012

University or research institute in Villers-lès-Nancy, France, founded 2012. Part of the Innovative EcoSystems registry.

team.inria.fr