TOCCATA: Certified Programs, Certified Tools, Certified Floating-Point Computations | Rogue Scholar

Type

Facility

Location

Saclay, Île-de-France, France

Website

https://toccata.lri.fr/activities.fr.html

Parent

Centre Inria de Saclay

ROR

Laboratoire Méthodes Formelles

ROR

Centre Inria de l'Université Paris-Saclay

ROR