domains / families / research / cav-reproducibility

cav-reproducibility

separate

Use when strengthening CAV (Computer Aided Verification) reproducibility, covering benchmark provenance (SV-COMP/SMT-COMP/HWMCC/VNN-COMP set revisions), pinned tool and baseline versions, resource limits and hardware, seeds for randomized/portfolio solvers, checkable proof witnesses/certificates for soundness claims, and consistency between the paper's tables and the artifact.

When to use

• strengthening CAV reproducibility
• benchmark provenance
• pinned tool and baseline versions
• resource limits and hardware
• seeds for randomized solvers
• checkable proof witnesses
• consistency between paper and artifact

Skill page

Source