SMT Formulas for Boolean Programs from SLAM
<p>This archive contains SMT formulas for boolean programs that were generated with the software verifier SLAM.</p> <p>The archive was contributed to the SV-Benchmarks repository (when it was still hosted as SVN repository) by Nikolaj Bjorner on Nov. 21, 2012. [https://github.com/sosy-lab/sv-benchmarks/commit/9a1394fe44b97c1fe8eeaea831a3627e34eb1c11]</p> <p>It is not contained directly in the Git repository at https://github.com/sosy-lab/sv-benchmarks/ because GitHub does not support files larger than 200 MB.</p>
ShareScore
32/100
Overall dataset sharing score
Score breakdown
These five areas show where the dataset supports — or may limit — practical reuse.
- Stewardship
- 8
- Harmonization
- 4
- Access
- 16
- Reuse readiness
- 0
- Engagement
- 4
Topics
Dataset details
- Repository
- zenodo
- Published
- March 19, 2020
- License
- cc-by-4.0
- DOI
- 10.5281/zenodo.3718983
Scored with release 0.9.0
ScienceDex for faculty
Your academic CV and NIH biosketch
Make your CV in your school's format and your NIH biosketch from it, then download both as Word files.