by katelman, vijay_ganesh
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 fuzzers
STP is a new constraint solver (also referred to as a decision procedure or automated prover) designed for solving constraints or formulas generated by program analysis tools, theorem provers, automated bug finders, formal verification tools, intelligent ...
Copyright © 2009 SourceForge, Inc. All rights reserved. Terms of Use