STP
Description
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
Categories
License
Update Notifications
User Ratings
User Reviews
Be the first to post a review of STP!