47. Métodos formais e verificação de software

Trabalha contratos, invariantes, máquinas de estado, verificação de modelos e provas assistidas por ferramentas. Casos críticos mostram quando testes não bastam para sustentar uma garantia.