El proceso de verificar que un software cumple con los requisitos preestablecidos implica varias técnicas de evaluación estática, como la lectura activa del diseño y la inspección. Estas técnicas ayudan a detectar errores en el diseño y el código, asegurando la corrección, claridad y consistencia de los requisitos y el código fuente.