Download von stp-ver-0.1-11-18-2008.tgz (stp-ver-0.1-11-18-2008.tgz ( externer Link: SourceForge.net): 18,366,530 Bytes) wird in Kürze beginnen. Wenn nicht, klicke auf stp-ver-0.1-11-18-2008.tgz ( externer Link: 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
