MÉTODOS FORMAIS DE VALIDAÇÃO E VERIFICAÇÃO DE SOFTWARE