revisão técnica formal, declaração de dados e prova de corretitude.

métrica de McCabe, walkthrough e análise de casos de uso.

declaração de dados, garantia estatística de qualidade e análise de casos de uso.

prova de corretitude, garantia estatística de qualidade e processo sala-limpa.

análise de MTBF, análise de casos de uso e processo sala-limpa.