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
Download STP
Project Admins:
philippe_suter, vijay_ganesh
Operating System:
Linux
License:
MIT License
Category:
Security, Quality Assurance, Testing
Find Support
Buy expert services from Sourceforge.net Marketplace. Support from the people who know.
Latest
Public Areas
-
Bugs
: (1 open / 1 total)
Bug Tracking System -
Support Requests
: (0 open / 0 total)
Tech Support Tracking System -
Patches
: (0 open / 0 total)
Patch Tracking System -
Feature Requests
: (0 open / 0 total)
Feature Request Tracking System - Public Forums : (3 messages in 2 forums)
- Mailing Lists : (1 total)
-
SVN Repository
: (0 commits,
0 reads)
Browse SVN
Project Details
-
Project Admins :
philippe_suter
, vijay_ganesh - Developers : 3
- Development Status : 3 - Alpha
- Intended Audience : Advanced End Users, Developers, End Users/Desktop, Quality Engineers, Information Technology, Science/Research
- License : MIT License
- Operating System : Linux
- Programming Language : C, C++, Java, OCaml (Objective Caml), Python
- Topic : Security, Quality Assurance, Testing
- User Interface : Console/Terminal
- Project UNIX name : stp-fast-prover
- Registered : 2008-02-21 03:25
- Activity Percentile (last week) : 77.09
- View project activity statistics
- View list of RSS feeds available for this project