[X] The "/vmpk/vmpk-0.2.5-setup.exe" file could not be found or is not available. Please select another file.

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


http://sites.google.com/site/stpfastprover/





Separate each tag with a space.

Release Date:

2008-11-18

Topics:

License:

Ratings and Reviews

  • Thumbs up:

    2
  • Thumbs down:

    0
100% of 2 users recommend this project
  • Thumbs up

    STP is a great tool, especially for bugfinding and security related work.

    posted by anonymous 47 days ago
    If you'd like to rate this review, please log in.

View all reviews

Project Feed

Rate and Review

Would you recommend this project?






<

Related Projects

Thanks for your rating!

Would you also like to write a review?





Skip Review