zenodoopen
Verification Algorithms for Automated Separation Logic Verifiers (Artifact)
<p>This is the artifact for the CAV 2024 paper "Verification Algorithms for Automated Separation Logic Verifiers". For more information, see the description of the artifact in "artifact_overview.pdf". The data in the artifact (minus the implementations of the benchmarked algorithms) can also be found on GitHub: https://github.com/marcoeilers/CAV24-data.</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
- July 30, 2024
- License
- cc-by-4.0
- DOI
- 10.5281/zenodo.11218238
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.