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

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

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

LabCom ProofInUse : AdaCore & Toccata team-project

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.

Keywords:

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

More

Top