Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Haniel Barbosa

est l'auteur d'une thèse

Automatisation des preuves Instanciation des quantificateurs Méthodes formelles Production des preuves Résolution SMT Solveurs Systèmes experts Théorèmes -- Démonstration automatique Vérification formelle

Fullscreen

Automatisation des preuves Instanciation des quantificateurs Méthodes formelles Production des preuves Résolution SMT Solveurs Systèmes experts Théorèmes -- Démonstration automatique Vérification formelle

Haniel Barbosa a rédigé la thèse suivante :

Nouvelles techniques pour l'instanciation et la production des preuves dans SMT

par Haniel Barbosa sous la direction de Stephan Merz , David Déharbe et de Pascal Fontaine . - Université de Lorraine

Informatique

Soutenue le 05-09-2017

Thèse soutenue

Accéder en ligne