Christophe Ringeissen
Mots clés
FR |
EN
Théorèmes -- Démonstration automatique
Sureté des programmes
Vérification de 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
Algorithmes
Sciences pour l'ingénieur et microtechniques
Procédures de décisions
Paramodulation
Saturation schématique
Combination
Ordinateurs -- Fiabilité
Réseaux sociaux