{"associated_institutions":[{"country_code":"FR","display_name":"Centre Inria de Saclay","id":"https://openalex.org/I4210126360","relationship":"parent","ror":"https://ror.org/0315e5x55","type":"facility"},{"country_code":"FR","display_name":"Laboratoire Méthodes Formelles","id":"https://openalex.org/I4387154672","relationship":"parent","ror":"https://ror.org/00gdtta79","type":"facility"},{"country_code":"FR","display_name":"Centre Inria de l'Université Paris-Saclay","id":"https://openalex.org/I4405256294","relationship":"parent","ror":"https://ror.org/040753f36","type":"facility"}],"authors_api_url":"https://scholar.citedevidence.com/v1/oa/institutions/I4405259447/authors","cited_by_count":0,"collaborators_api_url":"https://scholar.citedevidence.com/v1/oa/institutions/I4405259447/collaborators","country_code":"FR","counts_by_year":[],"counts_by_year_api_url":"https://scholar.citedevidence.com/v1/oa/institutions/I4405259447/counts_by_year","created_date":"2026-01-21T21:21:40.000Z","display_name":"TOCCATA: Certified Programs, Certified Tools, Certified Floating-Point Computations","display_name_acronyms":["TOCCATA"],"display_name_alternatives":["TOCCATA: Certified Programs, Certified Tools, Certified Floating-Point Computations"],"geo":{"city":"Saclay","country":"France","country_code":"FR","geonames_city_id":"2982043","latitude":48.7326,"longitude":2.16923,"region":"Île-de-France"},"homepage_url":"https://toccata.lri.fr/activities.fr.html","id":"https://openalex.org/I4405259447","ids":{"grid":null,"openalex":"https://openalex.org/I4405259447","ror":"https://ror.org/028m5h544","wikidata":null,"wikipedia":null},"image_thumbnail_url":null,"image_url":null,"is_super_system":false,"lineage":["https://openalex.org/I11559806","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I277688954","https://openalex.org/I4210126360","https://openalex.org/I4210126360","https://openalex.org/I4387154672","https://openalex.org/I4405256294","https://openalex.org/I4405259447"],"repositories":[],"roles":[{"id":"https://openalex.org/I4405259447","role":"institution","works_count":0}],"ror":"https://ror.org/028m5h544","summary_stats":{"2yr_mean_citedness":0,"h_index":0,"i10_index":0},"topic_share":[],"topics":[],"type":"facility","type_id":"https://openalex.org/institution-types/facility","updated_date":"2026-02-06T19:53:56.000Z","works_api_url":"https://scholar.citedevidence.com/v1/oa/institutions/I4405259447/works","works_count":0}