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 - 2024" : Aucun mot-clé.

Mots-clés de "B - Autres sciences et domaines d'application - 2024" : Aucun mot-clé.

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