François Bobot
IdRefMots clés
FR |
EN
Vérification de programmes
Théorèmes -- Démonstration automatique
Sureté des programmes
Démonstrateur automatique
Encodage
Vérification deductive
Modèle mémoire
Automatisation
Polymorphisme
Structure de donnée
Logique de séparation
Logiciels -- Vérification
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