Didier Le botlan
IdRefMots clés
FR |
EN
Vérification formelle
Systèmes temps réel
Langage d’exigences
Patron de spécification
Model-checking
Observateurs
Logiciels -- Vérification
Temps réel (informatique)
Inférence de types
Polymorphisme de première classe
Polymorphisme d'ordre deux
Système F
Ml
Annotations de type
Vérification de modèles
Problèmes d'accessibilité
Réseaux de Petri
Réductions structurelles
Techniques d'abstraction
Résolution SMT