Jean-François Raskin
IdRefMots clés
FR |
EN
Vérification
Automates programmables
Théorie des automates mathématiques
Logiciels -- Vérification
Vérification quantitative
Synthèse
Automates d'arbres
Contraintes
Approximations
Model checking
Contraintes (intelligence artificielle)
Systèmes concurrents
Technique d'abstraction
Logiques multi-valuées
Types de données
Types abstraits de données (informatique)
Systèmes informatiques
Automates à registres
Transducteurs à registres
Synthèse réactive