Descrição
Software Java pode ser analisado com ferramentas de verificação formal.
É útil para pesquisadores e desenvolvedores que precisam de raciocínio mais forte sobre correção de programas do que testes comuns oferecem. Resultados de verificação dependem de modelos e especificações, então revise premissas antes de confiar nas conclusões.