Essas verificações podem ser algo tão simples quanto ler as especificações e compará-las com a lógica do código para garantir que estejam alinhadas. O processo de verificação incluirá atividades como revisões de código, orientações, inspeções, mas poucos, se houver, testes reais.