Overview

Toccata is a research team of the INRIA Saclay – Île-de-France research center, common with the Laboratoire Methodes Formelles (LMF), joint with ENS Paris-Saclay, CNRS, and University Paris-Saclay, located in Orsay, France. The main web page for the team is https://toccata.gitlabpages.inria.fr/toccata/