EN FR
EN FR
ANTIQUE - 2014
ANTIQUE - 2014
Team Antique
Members
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
Team Antique
Members
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography


up Home | Next next


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