Project-Team Antique
Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub

up Home | Next next

2019 Project-Team Activity Report
ANTIQUE
Static Analysis by Abstract Interpretation
Research centre: Paris
In partnership with: CNRS, Ecole normale supérieure de Paris
In collaboration with: Département d'Informatique de l'Ecole Normale Supérieure

Field: Algorithmics, Programming, Software and Architecture
Theme: Proofs and Verification
Keywords:
Computer Science and Digital Science:
  • A2. - Software
  • A2.1. - Programming Languages
  • A2.1.1. - Semantics of programming languages
  • A2.1.7. - Distributed programming
  • A2.1.12. - Dynamic languages
  • A2.2.1. - Static analysis
  • A2.3. - Embedded and cyber-physical systems
  • A2.3.1. - Embedded systems
  • A2.3.2. - Cyber-physical systems
  • A2.3.3. - Real-time systems
  • A2.4. - Formal method for verification, reliability, certification
  • A2.4.1. - Analysis
  • A2.4.2. - Model-checking
  • A2.4.3. - Proofs
  • A2.6.1. - Operating systems
  • A4.4. - Security of equipment and software
  • A4.5. - Formal methods for security
Other Research Topics and Application Domains:
  • B1.1. - Biology
  • B1.1.8. - Mathematical biology
  • B1.1.10. - Systems and synthetic biology
  • B5.2. - Design and manufacturing
  • B5.2.1. - Road vehicles
  • B5.2.2. - Railway
  • B5.2.3. - Aviation
  • B5.2.4. - Aerospace
  • B6.1. - Software industry
  • B6.1.1. - Software engineering
  • B6.1.2. - Software evolution, maintenance
  • B6.6. - Embedded systems