El documento describe el ciclo de vida por verificación para el desarrollo de software, el cual incluye la verificación y validación a lo largo de todo el proceso de desarrollo a través de pruebas parciales para realimentar el proceso. Se define la verificación como comprobar que los productos cumplen los requisitos establecidos y se mencionan algunas propiedades como la verificabilidad, reparabilidad, portabilidad y reusabilidad que deben cumplirse.