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
Theme: Programs, Verification and Proofs
Keywords: Proofs Of Programs, Automated Theorem Proving, Interactive Theorem Proving, Safety, Floating-point Numbers