Abstract: The paper provides an introduction to interval arithmetic based and stochastic global optimization techniques for the verification of some mathematical models. Illustrative examples are described from the fields of circle packing and chaotic behaviour of dynamical systems.