EN FR
Homepage Inria website


2014 Project-Team Activity Report
TOCCATA
Formally Verified Programs, Certified Tools, Numerical Computations
Research centre: Saclay - Île-de-France
In partnership with: Université Paris-Sud (Paris 11)

In collaboration with: Laboratoire de recherche en informatique (LRI)



Field: Algorithmics, Programming, Software and Architecture

Theme: Proofs and Verification
Keywords: Formal Methods, Verification, Proofs Of Programs, Theorem Proving, Computer Arithmetic