ANTIQUE (SR0695XR)

Analyse Statique par Interprétation Abstraite

ANTIQUE (SR0605CR) →  ANTIQUE

Statut: Décision signée

Responsable : Xavier Rival

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : A2. Logiciel , A2.1. Langages de programmation , A2.1.1. Sémantique des langages de programmation , A2.1.7. Programmation distribuée , A2.1.12. Langages dynamiques , A2.2.1. Analyse statique , A2.3. Systèmes embarqués et cyber-physiques , A2.3.1. Systèmes embarqués , A2.3.2. Systèmes cyber-physiques , A2.3.3. Systèmes temps réel , A2.4. Méthodes formelles pour vérification, sureté, certification , A2.4.1. Analyse , A2.4.2. Model-checking , A2.4.3. Preuves , A2.6.1. Systèmes d'exploitation , A4.4. Sécurité des équipements et des logiciels , A4.5. Méthodes formelles pour la sécurité

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : B1.1. Biologie , B1.1.8. Biologie mathématique , B1.1.10. Biologie des systèmes et biologie synthétique , B5.2. Conception et fabrication , B5.2.1. Véhicules routiers , B5.2.2. Chemin de fer , B5.2.3. Aviation , B5.2.4. Spatial , B6.1. Industrie du logiciel , B6.1.1. Génie logiciel , B6.1.2. Evolution, maintenance , B6.6. Systèmes embarqués

Domaine : Algorithmique, programmation, logiciels et architectures
Thème : Preuves et vérification

Période : 01/04/2015 -> 31/12/2024
Dates d'évaluation : 20/03/2019 ,

Etablissement(s) de rattachement : CNRS, ENS PSL
Laboratoire(s) partenaire(s) : DI-ENS (UMR8548)

CRI : Centre Inria de Paris
Localisation : Ecole Normale supérieure Paris
Code structure Inria : 021127-1

Numéro RNSR : 201421111R
N° de structure Inria: SR0695XR

Présentation

Axes de recherche

Relations industrielles et internationales