There are 5 Results with the keyword : "Toccata"
In 2013, eight years after the creation of the Proval team headed by Christine Paulin-Mohring, the team has reached a turning point. Today it has taken on new directions and a new manager, Claude Marché. Claude tells us more about this new team, Toccata.
With the launch of a joint laboratory, the Toccata research team, which specialises in formal specification and computer-assisted proofs, is increasing its collaboration with AdaCore, the specialist publisher of development software for critical systems.
To mark the inaugural conference of the DigiCosme Laboratory of Excellence (Labex) on 12 and 13 September 2012, we take a look back at the origins and ambitions of this project in an interview with the lab's coordinator, Christine Paulin-Mohring.
The work "Computer Arithmetic and Formal Proofs - Verifying Floating-point Algorithms with the Coq System", co-written by Sylvie Boldo and Guillaume Melquiond (Toccata team - Inria) has just been published by Editions Iste .
ProofInUse is a common laboratory common between Inria Toccata research team, which specializes in formal specifications and computer-assisted proof, and to AdaCore, a software publisher specializing in providing software development tools for mission-critical systems. Its objective is to propose verification tools based on mathematical evidence and to solve the difficulties that currently limit its use at the industrial level.