Les méthodes formelles prouvent leur efficacité