La vérification formelle reste la voie à suivre.