domains / families / research / cav-artifact-evaluation

cav-artifact-evaluation

separate

Use when packaging a CAV (Computer Aided Verification) artifact for the Artifact Evaluation Committee (AEC), covering the three badges (Available / Functional / Reusable), the smoke-test and full-review phases, ≥2 AEC reviewers per artifact, DOI-issuing archives, verification-tool packaging (solvers, benchmarks, seeds, resource limits, proof witnesses), and the fact that AE is invited, post-notification, and non-conditional.

When to use

• packaging a CAV artifact
• preparing for Artifact Evaluation Committee (AEC)
• targeting Available, Functional, or Reusable badges
• designing smoke-test and full-review phases
• packaging verification tools, solvers, and benchmarks
• managing DOI-issuing archive deposits
• documenting resource limits, seeds, and proof witnesses

When not to use

• blocking camera-ready on badge outcome
• conditional final paper acceptance

Skill page

Source