Jorge Sousa Pinto
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Vérification déductive
Why3
Effets
Bibliothèque OCaml
OCaml
Modulaire
Objective Caml (langage de programmation)
Programmation (informatique)
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