Jérôme Feret
IdRefMots clés
FR |
EN
Interprétation abstraite
Analyse statique
Logiciels -- Vérification
Méthodes formelles
Réduction de modèles
Informatique
Méthodes formelles (informatique)
Voies de signalisation
Modélisation par règles de réécritures
Bisimulations
Flot d’information
Programmation logique
Sémantique
Analyse de programmes
Systèmes embarqués critiques
Code C
Assembleur
X86
Assembleur inline
Domaine abstrait