Le moteur de recherche
des thèses françaises
Andrei Paskevich
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Méthodes formelles (informatique)
Vérification déductive
Calcul symbolique
Preuve formelle
Vérification déductive des programmes
Why3
Raffinement de données
Système de types
Code fantôme
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