Dans le domaine de la vérification, l'objectif est d'estimer l'erreur commise entre la solution du modèle mathématique et celle fournie par un modèle numérique. Les travaux présentés ici consistent tout d'abord à prouver la faisabilité de la méthode d'obtention de bornes garanties de l'erreur sur une quantité d'intérêt dans le cadre de la dynamique transitoire...