Abderrahmane Feliachi
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Spécification et vérification de logiciels
Preuves de théorèmes
Test formel
Logiciels -- Vérification
Théorèmes -- Démonstration automatique
Sémantique formelle
Méthode B
Langage HLL
Vérification, Validation
Méthodes formelles
Raffinement et preuve
Traduction
Certification
Animation des modèles
PERF
Sémantique (philosophie)
B (méthode formelle)