Alain Griffault
IdRefMots clés
FR |
EN
AltaRica (méthode formelle)
Verification
Raffinement
Abstraction
Langages de programmation
Méthodes formelles (informatique)
Algorithmes d'approximation
Types abstraits de données (informatique)
CEGAR (algorithme)
Diagnostic
Modèle
Avionique
AltaRica
Détectabilité
Diagnosticabilité
Superfluité
Systèmes à événements discrets
Systèmes échantillonnés
Pomset
Model-checking