STP

Add a Review
8 Downloads (This Week)
Last Update:
Download stp2.zip
Browse All Files
Linux

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

STP Web Site

Update Notifications





Write a Review

User Reviews

Be the first to post a review of STP!

Additional Project Details

Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.