The reliable computing experiment in the study of boundary value problems for functional differential equations

A survey of the main ideas and results in the theory of Computing Reliable Experiment (CRE) is given. The approach proposed in this paper gives a solution of the problem of effective and reliable computer-assisted testing Boundary Value Problems of Functional Differential Equations (BVP's of FDE) for the current solvability.