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

Also known as

DEVINE: DEpendable distributed systems: formal VerificatIoN made Efficient

Type

Facility

Location

Rennes, Brittany, France

Website

https://www.inria.fr/equipes/devine

Parent

Institut de Recherche en Informatique et Systèmes Aléatoires

ROR

Centre Inria de l'Université de Rennes

ROR