Descrição
Programas Java podem ser verificados com técnicas de verificação formal nas ferramentas do projeto KeY.
É útil para quem precisa de análise orientada a provas sobre comportamento de código, contratos ou propriedades de correção. Verificação formal complementa testes, mas depende de especificações corretas e revisão especializada.