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
Latest 5 files |
|||
|---|---|---|---|
| Name | Größe | Datum | Anzahl der Downloads |
| simplifyingSTP_1022.tar.gz | 2.8 MB | 2010-09-24 09:50 | 14 |
| readme.txt | 0.3 KB | 2010-07-12 15:17 | 32 |
| simplifyingSTP.pdf | 101.0 KB | 2010-07-12 15:12 | 89 |
| simplifyingSTP.tar.gz | 2.6 MB | 2010-07-12 15:12 | 10 |
| stp-ver-0.1-11-18-2008.tgz | 17.9 MB | 2008-11-19 03:53 | 35 |
All Files |
|||
| simplifyingSTP_1022.tar.gz | 2.8 MB | 2010-09-24 09:50 | 14 |
| readme.txt | 0.3 KB | 2010-07-12 15:17 | 32 |
| simplifyingSTP.pdf | 101.0 KB | 2010-07-12 15:12 | 89 |
| simplifyingSTP.tar.gz | 2.6 MB | 2010-07-12 15:12 | 10 |
| stp-ver-0.1-11-18-2008.tgz | 17.9 MB | 2008-11-19 03:53 | 35 |
| stp-ver-0.1-02-26-2008.tar.gz | 19.4 MB | 2008-02-27 07:30 | 3 |
