We apply continuous and discontinuous Galerkin time discretization together with standard finite element method for space discretization to the heat equation. For the numerical solution arising from these discretizations we present a guaranteed and fully computable a posteriori error upper bound.
Moreover, we present local asymptotic efficiency estimate of this bound.