A numerical verification method for a periodic solution of a delay differential equation

We describe a numerical method with guaranteed accuracy to enclose a periodic solution for a system of delay differential equations. Using a certain system of equations corresponding to the original system, we derive sufficient conditions for the existence of the solution, the satisfaction of which can be verified computationally. We describe the verification procedure in detail and give a numerical example.