Dans le domaine de la vA(c)rification, l'objectif est d'estimer l'erreur commise entre la solution du modA]le mathA(c)matique et celle fournie par un modA]le numA(c)rique. Les travaux prA(c)sentA(c)s ici consistent tout d'abord A prouver la faisabilitA(c) de la mA(c)thode d'obtention de bornes garanties de l'erreur sur une quantitA(c) d'intA(c)rAat dans le cadre de la dynamique transitoire. Cette mA(c)thode est basA(c)e sur le concept d'erreur en relation de comportement et la rA(c)solution d'un problA]me adjoint. Dans un deuxiA]me temps, diffA(c)rentes stratA(c)gies sont dA(c)veloppA(c)es...