Toccata is a joint research team of the INRIA Saclay - Île-de-France research center, the CNRS and the University of Paris-Saclay, located in Orsay, France. Members of Toccata are also members of the new Laboratory LMF created in 2021.
The general objective of the team is to promote formal specification and computer-assisted proof in the development of software that requires a high assurance of its safety and its correctness with respect to its intended behavior.
A detailed description of the scientific activities the team, including recent results, can be found in the annual research report of the team of 2022.
- (Not maintained, sorry)