Pascal Sotin
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Langages de programmation -- Sémantique
Coût-efficacité
Algèbre linéaire
Semi-anneaux (mathématiques)
WCET
Systèmes temps-réel
Analyse statique
IPET
Automates hiérarchiques
Langage d'annotation
Temps réel (informatique)
Analyse Pire Cas
Méthodes formelles
Interprétation abstraite
Analyse statique modulaire
Domaines abstraits numériques
Chaînes de caractères
Abstractions symboliques
Arbres (théorie des graphes) -- Informatique