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
Ratings and Reviews
- Thumbs up: 2
- Thumbs down: 0
-
Thumbs up
STP is a great tool, especially for bugfinding and security related work.
Project Feed
-
Code committed
committed revision 393 to the stp-fast-prover SVN repository, changing 1 files -
Code committed
committed revision 392 to the stp-fast-prover SVN repository, changing 4 files -
Code committed
-
Code committed
committed revision 390 to the stp-fast-prover SVN repository, changing 3 files -
Project Information Updated
-
Code committed
committed revision 389 to the stp-fast-prover SVN repository, changing 3 files -
Code committed
committed revision 388 to the stp-fast-prover SVN repository, changing 5 files -
Code committed
committed revision 387 to the stp-fast-prover SVN repository, changing 4 files -
Code committed
committed revision 386 to the stp-fast-prover SVN repository, changing 3 files -
Code committed
committed revision 385 to the stp-fast-prover SVN repository, changing 2 files
Rate and Review
Related Projects
-
AvatarSAT
AvatarSAT is a SAT solver that uses machine-learning classifiers to automatically tune the heuristics of an off-the-shelf SAT solver on a per-instance basis.
-
Object-Role Modeling
The Object-Role Modeling (ORM) standard version 2, associated schemas and generation tools, and a reference implementation in the form of the Natural Object-Role Modeling Architect for Visual Studio (NORMA) product.
-
STP Actions
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
