Télécharger des simplifyingSTP.tar.gz (simplifyingSTP.tar.gz ( lien externe: SourceForge.net): 2,679,993 octets) va bientôt commencer. Sinon, cliquez sur simplifyingSTP.tar.gz ( lien externe: SourceForge.net).
STP (Simple Theorem Prover): a constraint solver/decision procedure that accepts formulas or constraints generated by program analysis/test generation tools, model checkers, bug finders, hardware/software formal verification tools, intelligent fuzzer
