| _version_ | 1866901607591968768 |
|---|---|
| author | Anonymous |
| author_facet | Anonymous |
| contents | <div>This package combines the harness synthesis side (<code>varies</code>), the customized verifier (<code>varies_kani</code>), and the helper scripts used to run experiments over many crates.<br> <h2>Directory Structure</h2> <br> <ul> <li><code>varies</code>: modified Rust/rustdoc workspace that synthesizes verification harnesses with <code>cargo +stage2 varies --dir <crate_dir></code>.</li> <li><code>varies_kani</code>: custom Kani fork used to verify the synthesized harnesses. It adds scheduling, pruning, error recovery, and timeout controls on top of upstream Kani.</li> <li><code>varies_scripts</code>: experiment drivers and analysis scripts. The JSON files under <code>config/</code> define the environment variables and verifier arguments used in batch runs.</li> </ul> </div> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_19229605 |
| institution | Zenodo |
| language | |
| publishDate | 2026 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | VARIES Replication Package Anonymous <div>This package combines the harness synthesis side (<code>varies</code>), the customized verifier (<code>varies_kani</code>), and the helper scripts used to run experiments over many crates.<br> <h2>Directory Structure</h2> <br> <ul> <li><code>varies</code>: modified Rust/rustdoc workspace that synthesizes verification harnesses with <code>cargo +stage2 varies --dir <crate_dir></code>.</li> <li><code>varies_kani</code>: custom Kani fork used to verify the synthesized harnesses. It adds scheduling, pruning, error recovery, and timeout controls on top of upstream Kani.</li> <li><code>varies_scripts</code>: experiment drivers and analysis scripts. The JSON files under <code>config/</code> define the environment variables and verifier arguments used in batch runs.</li> </ul> </div> |
| title | VARIES Replication Package |
| url | https://doi.org/10.5281/zenodo.19229605 |