Contact Version française


topics floating-point computation automated deduction interactive theorem proving proof of programs data-centric languages synchronous programming

Toccata is a research team of the INRIA Saclay - Île-de-France research center, joint with LRI (CNRS and University of Paris-Sud), located in Orsay, France. It was created in September 2012, partly as a refoundation of the former team ProVal.

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.

Click on the themes presented on the figure aside, or browse the "Research" item of the menu above, for detailed descriptions of the scientific activities the team. You can also find recent results described in the annual research report of the team in 2013.


Arrivals (since September 2010):

INRIA Saclay - Île-de-France              Université Paris-sud              CNRS              LRI