**Abstract**

In this chapter, we propose numerical techniques which enable us to verify the existence of solutions for the free boundary problems governed by two kinds of elliptic variational inequalities. Based upon the finite element approximations and explicit a priori error estimates for some elliptic variational inequalities, we present effective verification procedures that, through numerical computation, generat a set which includes exact solutions. We describe a survey of the previous works as well as show newly obtained results up to now.

**Keywords:** numerical verification method, variational inequalities, error estimates, fixed point formulation, newton-like method, finite element method
