Jacques Cazin
IdRefMots clés
FR
Sécurité
Système informatique
Logiciel
Programme ordinateur
Vérification programme
Langage c
Modèle de sécurité
Règlement multiniveau
Analyse de flots
Analyse de pointeurs
Vérification statique
Systèmes informatiques -- Mesures de sûreté
Logiciels -- Vérification
C (langage de programmation)
Développements formels de programmes
Transformations de programmes
Propriétés fonctionnelles et non fonctionnelles
Interprétation abstraite
Systèmes de type d'ordre supérieur
Programmation (informatique)