EN FR
EN FR
Bilateral Contracts and Grants with Industry
Bibliography
Bilateral Contracts and Grants with Industry
Bibliography


2014 Team Activity Report
ANTIQUE
Analyse Statique par Interprétation Abstraite
Research centre: Paris - Rocquencourt
In partnership with: CNRS, Ecole normale supérieure de Paris



Field: Algorithmics, Programming, Software and Architecture

Theme: Proofs and Verification
Keywords: Abstract Interpretation, Formal Methods, Proofs Of Programs, Safety, Semantics, Static Analysis