Sites Inria

There are 5 Results with the keyword : "Toccata"

Claude Marché, Toccata team leader - © Inria / Photo Kaksonen

Research

When programs prove themselves

Emmanuelle Perrot - 18/10/2013

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.

Keywords:

Home > Centre > Saclay > News > Quand les programmes font leurs preuves

More

Labex

DigiCosme Labex opens

Sylvain Allemand - 20/09/2012

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.

Keywords:

Home > Centre > Saclay > News > Le Labex DigiCosme fait son inauguration

More

Publication

Computer arithmetic and formal proofs

29/11/2017

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 .

Keywords:

Home > Centre > Saclay > News > Arithmétique informatique et preuves formelles

More

Claude Marché, Toccata team leader - © Inria / Photo Kaksonen

Research-Industry partnership

ProofInUse: a joint Inria and AdaCore laboratory

Bertrand Bourgine - 17/03/2014

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.

Keywords:

Home > Centre > Saclay > News > ProofInUse : le LabCom Inria-AdaCore

More

LabCom ProofInUse : AdaCore & Toccata team-project

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.

Keywords:

Home > Innovation > Research Partnerships & Transfer > Inria and SMEs joint Labs > Inria and SME/SMI > ProofInUse

More

Top