Verification of constrained minima

We develop a procedure for verifying the correctness and accuracy of a candidate point for local constrained minimum, using interval methods. Our approach is based on multiplier penalty functions and assumes that the minimum satisfies second order sufficient conditions. A few numerical examples illustrate the method.