The "/storybook/3.1.0/sto..book-3.1.0-win32.zip" file could not be found or is not available. Please select another file.

STP

9 Recommendations
29 Downloads (This Week)
Download stp2.zip
Browse All Files

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

User Ratings

100% recommended
 
 
9
0
Write a Review

User Reviews

Be the first to post a review of STP!

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