Techniques pour la vérification algorithmique de noyaux d'OS

par Bin Fang

Projet de thèse en Informatique

Sous la direction de Ahmed Bouajjani et de Mihaela Sighireanu.

Thèses en préparation à Sorbonne Paris Cité en cotutelle avec l'E.N.S. DE L'EST DE LA CHINE , dans le cadre de SCIENCES MATHEMATIQUES DE PARIS CENTRE , en partenariat avec LIAFA (lab. informatique, algorithmique fondamental et appliquée) (equipe de recherche) depuis le 04-12-2014 .


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


  • Pas de résumé disponible.