There are 5 Results with the keyword : "Toccata"
In 2014, Inria and the company AdaCore launched a joint laboratory (LabCom) called ProofInUse for a duration of three years. The purpose of this joint laboratory was to propose mathematical proof-based verification tools to industry, which aim to replace or complement the activities of existing tests whilst reducing verification costs.
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.
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.
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 .