Encodage efficace des systèmes critiques pour la vérification formelle par model checking à base de solveurs SAT/SMT

par Guillaume Baud-berthier

Projet de thèse en Informatique

Sous la direction de Laurent Simon.

Thèses en préparation à Bordeaux , dans le cadre de DE MATHEMATIQUES ET D'INFORMATIQUE DE BORDEAUX , en partenariat avec LABRI Laboratoire Bordelais de Recherche en Informatique (equipe de recherche) depuis le 04-06-2015 .


  • Pas de résumé en français disponible.


  • Pas de résumé disponible.