Andrei Paskevich
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Logiciels -- Vérification
Certificats
Démonstration automatique
Vérification déductive de programmes
Méthodes formelles de génie logiciel
Outil de vérification déductive Why3
Certification
Théorèmes -- Démonstration automatique
Validation de logiciel
Vérification déductive des programmes
Why3
Raffinement de données
Système de types
Code fantôme
Vérification déductive
Calcul symbolique
Preuve formelle