Email Record: L'utilisation de methodes quantitatives en verification /