Cesare Tinelli
IdRefMots clés
FR |
EN
Interprétation abstraite
Méthodes formelles (informatique)
Vérification de modèles (informatique)
Analyse statique
Logiciels -- Vérification
Polyèdres
Systèmes embarqués
Systèmes distribués temps-Réels synchrones
Langages synchrones
Abstraction quasi-Synchrone
Architecture LTTA
Simulation symbolique
Systèmes embarqués (informatique)
Génie logiciel
Vérification de logiciel
Méthodes formelles
Model checking
Preuve déductive
Automobiles -- Systèmes d'aide à la conduite
Vérification de programme