There is a newer version of the record available.

Published March 9, 2025 | Version auto-sv-annotator-SPIN25-revision

Reproduction Package for SPIN 2025 Submission `Auto-SV Annotator: Integrating Deductive and Automatic Software Verification'

  • 1. ROR icon Ludwig-Maximilians-Universität München
  • 2. ROR icon University of Twente

Files

auto-sv-annotator-SPIN25-revision.zip

Files (7.5 GB)

Name Size
md5:211e7f65b30a9344841153c2944c4a96
7.5 GB Preview Download