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
Project Reviews
-
Thumbs up
STP is a great tool, especially for bugfinding and security related work.
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
Community
Copyright © 2010 Geeknet, Inc. All rights reserved. Terms of Use
