Le moteur de recherche
des thèses françaises
Sylvain Boulmé
IdRefMots clés
FR |
EN
Assistants de preuve
Démonstration automatique
Théorèmes -- Démonstration automatique
Méthodes formelles (informatique)
Compilation
Certification
Coq
Certificats
Vérification déductive de programmes
Méthodes formelles de génie logiciel
Outil de vérification déductive Why3
Validation de logiciel
Optimisation
Compilateurs (logiciels)
Preuves de programmes
Systèmes embarqués
Programmation synchrone
Compilation vérifiée
Sémantique dénotationnelle
Informatique