{"admin":{"created":{"date":"2025-09-19","schema_version":"2.1"},"last_modified":{"date":"2026-01-15","schema_version":"2.1"}},"domains":[],"established":2024,"external_ids":[],"id":"https://ror.org/00077hj81","links":[{"type":"website","value":"https://www.inria.fr/equipes/devine"}],"locations":[{"geonames_details":{"continent_code":"EU","continent_name":"Europe","country_code":"FR","country_name":"France","country_subdivision_code":"BRE","country_subdivision_name":"Brittany","lat":48.11198,"lng":-1.67429,"name":"Rennes"},"geonames_id":2983990}],"names":[{"lang":null,"types":["acronym"],"value":"DEVINE"},{"lang":"en","types":["label"],"value":"DEVINE: DEpendable distributed systems: formal VerificatIoN made Efficient"},{"lang":"fr","types":["label","ror_display"],"value":"DEVINE: Vérification efficace pour des systèmes distribués fiables"}],"relationships":[{"label":"Institut de Recherche en Informatique et Systèmes Aléatoires","type":"parent","id":"https://ror.org/00myn0z94"},{"label":"Centre Inria de l'Université de Rennes","type":"parent","id":"https://ror.org/04040yw90"}],"status":"active","types":["facility"]}