Horn Clauses as an Efficient Intermediate Representation for Data Structure Verification

par Julien Braine

Projet de thèse en Informatique

Sous la direction de Laure Gonnord.

Thèses en préparation à Lyon , dans le cadre de École doctorale en Informatique et Mathématiques de Lyon , en partenariat avec École normale supérieure de Lyon (établissement opérateur d'inscription) depuis le 01-09-2018 .


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


  • Pas de résumé disponible.