Verificação consiste na análise do software quanto à correção em relação à especificação. De modo geral, o contexto em que ocorre a verificação é interno ao processo de desenvolvimento de software. Por exemplo, atividades de revisão de artefatos, tal com inspeção de código, técnicas de leitura baseada em perspectiva e afins, são atividades de verificação. Algumas atividades de teste também pode ser considerado como verificação, principalmente quando os requisitos de teste consideram os artefatos gerados pelo processo de desenvolvimento (documento de requisitos, modelos e código da aplicação).