El documento describe el ciclo de vida por verificación para el desarrollo de software, el cual incluye comprobaciones parciales durante el proceso de desarrollo para realimentarlo según los resultados de las pruebas, abarcando la vida del sistema desde la definición de requisitos hasta su finalización. La verificación implica comprobar que los productos cumplen los requerimientos establecidos a través de pruebas funcionales y estructurales así como ejecución simbólica.