STP V2 (Simple Theorem Prover)

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 fuzzerPlatform : Unix/Linux
Download latest Version : stp2.zip (2.0 MB)
Find other Version |
Read more In here : http://sites.google.com/site/stpfastprover/