Programas por sites.google.com/site/stpfastprover/
-
STP Livre
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 bu