The process of proving that a system meets specifications and requirements.  (Did we build the system correctly?)