O desenvolvimento de software Cleanroom é uma abordagem que utiliza:

técnicas estatísticas para a verificação do programa

técnicas estáticas para a verificação do programa

testes estáticos para a certificação da confiabilidade do sistema

técnicas estatísticas para a certificação da confiabilidade do sistema

testes estáticos e técnicas estatísticas para a certificação do sistema