Text this: L'utilisation de methodes quantitatives en verification /