Télécharger des stp-ver-0.1-11-18-2008.tgz (stp-ver-0.1-11-18-2008.tgz ( lien externe: SourceForge.net): 18,366,530 octets) va bientôt commencer. Sinon, cliquez sur stp-ver-0.1-11-18-2008.tgz ( 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
