Le moteur de recherche
des thèses françaises
François Bobot
IdRefMots clés
FR |
EN
Théorèmes -- Démonstration automatique
Vérification de programmes
Logiciels -- Vérification
Sureté des programmes
Démonstrateur automatique
Encodage
Vérification deductive
Modèle mémoire
Automatisation
Polymorphisme
Structure de donnée
Logique de séparation
Méthodes formelles
Vérification de modèles
Démonstration automatique de théorèmes
Systèmes distribués
Blockchain
Smart contracts
Cross-Chain swap
Why3