Dans le domaine de la verification, l'objectif est d'estimer l'erreur commise entre la solution du modele mathematique et celle fournie par un modele numerique. Les travaux presentes ici consistent tout d'abord a prouver la faisabilite de la methode d'obtention de bornes garanties de l'erreur sur une quantite d'interet dans le cadre de la dynamique transitoire. Cette methode est basee sur le concept d'erreur en relation de comportement et la resolution...