Le moteur de recherche
des thèses françaises
Jean-Claude Fernandez
IdRefMots clés
FR |
EN
Pire temps d'exécution
Exécution symbolique
Méthode formelles
Construction d'arbre
Fusion d'états
Validation de systèmes temps réels
Représentation intermédiaire
Compilation
Interpretation SSA
Just-In-Time
Langage de programmation
Analyse du programme
Jeux de tests
Approche synchrone
Modèle synchrone
Pré-conditions
Couverture de l’espace d’états
Manipulation numérique des données
Backtrack
GAJE