Spremljeno u:
| Glavni autor: | |
|---|---|
| Format: | Recurso digital |
| Jezik: | |
| Izdano: |
Zenodo
2026
|
| Online pristup: | https://doi.org/10.5281/zenodo.20193184 |
| Oznake: |
Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!
|
Sadržaj:
- <p>This record archives the <span class="font-semibold">PA2 Part 2</span> reproduction package for a CPAchecker + BenchExec study on <span class="font-semibold">SV-COMP ReachSafety</span> tasks. It bundles <span class="font-semibold">four</span> configurations (<span class="font-semibold">value analysis</span>, <span class="font-semibold">predicate abstraction</span>, <span class="font-semibold">BMC</span>, <span class="font-semibold">k-induction</span>) over <span class="font-semibold">five</span> base categories (<span class="font-semibold">BitVectors</span>, <span class="font-semibold">ControlFlow</span>, <span class="font-semibold">ECA</span>, <span class="font-semibold">Loops</span>, <span class="font-semibold">Sequentialized</span>), with limits <span class="font-semibold">300 s wall / 15 GB RAM / 2 CPU cores</span> per run (see <code class="md-clickable-code md-inline-path-filename-like"><span class="md-inline-path-prefix">bench-defs/</span><span class="md-inline-path-filename">cpa_alg_eval_part2.xml</span></code>). The ZIP includes <span class="font-semibold"><code class="">cpachecker/</code></span>, <span class="font-semibold"><code class="">bench-exec-src/</code></span>, <span class="font-semibold"><code class="">sv-benchmarks/</code></span>, <span class="font-semibold"><code class="">bench-defs/</code></span>, and <span class="font-semibold"><code class="md-inline-path-filename-like"><span class="md-inline-path-prefix">results/part2/</span></code></span> (BenchExec <code class="">*.xml.bz2</code> plus merged HTML/CSV tables). <span class="font-semibold">Step-by-step reproduction</span> is in <span class="font-semibold"><code class="md-clickable-code md-inline-path-filename-like"><span class="md-inline-path-filename">README.md</span></code></span> at the root of the extracted folder.</p>