Skip to content

Research facility · founded 2024

DEVINE: Vérification efficace pour des systèmes distribués fiables

Rennes, France · inria.fr/equipes/devine

Part of Centre National de la Recherche Scientifique

Manage this page

Citations, last 5 years: 4
Works, last 5 years: 14
h-index: 1
Scientists listed: 0
Grants since 2016: 0

Strongest research topics

Formal Methods in Verification10Computer Science
semigroups and automata theory8Computer Science
Petri Nets in System Modeling6Computer Science
Logic, programming, and type systems3Computer Science
Transportation Planning and Optimization2Social Sciences
Distributed Control Multi-Agent Systems1Computer Science