Christophe Ringeissen
IdRefMots clés
FR |
EN
Théorèmes -- Démonstration automatique
Algorithmes
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
Sciences pour l'ingénieur et microtechniques
Procédures de décisions
Paramodulation
Saturation schématique
Combination
Ordinateurs -- Fiabilité
Réécriture, Systèmes de (informatique)