Sylvain Boulmé
IdRefMots clés
FR |
EN
Assistants de preuve
Démonstration automatique
Théorèmes -- Démonstration automatique
Méthodes formelles (informatique)
Certification
Certificats
Vérification déductive de programmes
Méthodes formelles de génie logiciel
Outil de vérification déductive Why3
Validation de logiciel
Compilateurs (logiciels)
Rust
Appartenance
Vérification
Itérateurs
Clôtures
Rust (langage de programmation)
Logiciels -- Vérification
Programmation impérative (informatique)
Coq (logiciel)