STP 1022
Licença: Livre Tamanho do arquivo: N/A
Classificação dos usuários: 2.8/5 - 14 Votos
Aguarde... Seu link de download está sendo verificado para conteúdo malicioso.
Você poderá baixar em 5 segundos.
Você poderá baixar em 5 segundos.
Sobre STP
STP (Simple Theorem Prover): um procedimento de resolução/decisão de restrição que aceita fórmulas ou restrições geradas por ferramentas de análise/geração de testes de programas, verificadores de modelos, localizadores de bugs, ferramentas de verificação formal de hardware/software, difusores inteligentes