Dentro do modelo do ciclo de vida clássico ou cascata, usado para o planejamento e desenvolvimento
Dentro do modelo do ciclo de vida clássico ou cascata, usado para o planejamento e desenvolvimento de sistemas, a fase responsável pela verificação do trabalho, que deve ser realizada através de certificação utilizando inspeção, walkthrough, ou prova formal ou através de execução experimental (testes), é denominada:
