EN FR
EN FR


2012 Team Activity Report
TOCCATA
Certified Programs, Certified Tools, Certified Floating-Point Computations
Research centre: Saclay - Île-de-France
Field: Algorithmics, Programming, Software and Architecture

Theme: Programs, Verification and Proofs
Keywords: Proofs Of Programs, Automated Theorem Proving, Interactive Theorem Proving, Safety, Floating-point Numbers