EN FR
EN FR


up Home | Next next


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