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

Guillaume Baud-Berthier

est l'auteur d'une thèse

BMC Induction temporelle K-induction Model Checking Méthodes formelles Satisfaisabilité Solveur SAT Solveurs Vérification Formelle Vérification de modèles

Fullscreen

BMC Induction temporelle K-induction Model Checking Méthodes formelles Satisfaisabilité Solveur SAT Solveurs Vérification Formelle Vérification de modèles

Guillaume Baud-Berthier a rédigé la thèse suivante :

Encodage Efficace des Systèmes Critiques pour la Vérificaton Formelle par Model Checking à base de Solveurs SAT

par Guillaume Baud-Berthier sous la direction de Laurent Simon - Bordeaux

Informatique

Soutenue le 20-09-2018

Thèse soutenue

Accéder en ligne