1: \begin{abstract}

2: We consider second order explicit and implicit two-step time-discrete schemes for wave-type equations. We derive optimal order a posteriori estimates 

3: controlling the time discretization error.  

4: Our analysis, has been motivated by the need to provide a posteriori estimates for the popular \emph{leap-frog} method (also known as \emph{Verlet}'s method in molecular dynamics literature); it is  extended, however, to general cosine-type second order methods.

5: The estimators are based on a novel reconstruction of the time-dependent component of the approximation. Numerical experiments confirm similarity of convergence rates of the proposed estimators and of the theoretical convergence rate of the true error. 

6: 

7: \end{abstract}

8: