Verrou est un outil conçu pour identifier et corriger les erreurs de calcul liées à l'arithmétique flottante dans les simulations industrielles. Il utilise l'Arithmétique en Arrondi Aléatoire pour instrumenter les codes sans recompilation, permettant ainsi de quantifier et localiser les imprécisions numériques. Il facilite le débogage des calculs critiques en offrant une analyse détaillée des opérations flottantes.