Techniques for Formal Modelling and Verification on Dynamic Memory Allocators

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) et de UNIVERSTIY OF SCIENCE & TECHNO OF CHINA (Etablissement d'accueil) depuis le 04-12-2014 .


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


  • Pas de résumé disponible.