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