Base des structures de recherche Inria
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
La position est calculée automatiquement avec les informations dont nous disposons. Si la position n'est pas juste, merci de fournir les coordonnées GPS à web-dgds@inria.fr