zenodoopen
Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution): Tool Archive
<p>This archive contains the tool archive of Theta for SV-COMP 2022, which was also added as a release to the tool (<a href="https://github.com/ftsrg/theta/releases/tag/svcomp22-v1">here</a>).</p>
ShareScore
32/100
Overall dataset sharing score
Score breakdown
These five areas show where the dataset supports — or may limit — practical reuse.
- Stewardship
- 4
- Harmonization
- 4
- Access
- 16
- Reuse readiness
- 8
- Engagement
- 0
Dataset details
- Repository
- zenodo
- Published
- February 1, 2022
- License
- cc-by-4.0
- DOI
- 10.5281/zenodo.5956736
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.