EN FR
Homepage Inria website


2013 Team Activity Report
TOCCATA
Formally Verified Programs, Certified Tools and Numerical Computations
Research centre: Saclay - Île-de-France


Field: Algorithmics, Programming, Software and Architecture

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