Model verification in dynamics through strict upper error bounds