Describir: L'utilisation de méthodes quantitatives en vérification :