CAV Artifact Evaluation
Packages and validates academic research artifacts for Computer Aided Verification (CAV) Artifact Evaluation Committee reviews.
CAV Artifact Evaluation assists formal verification researchers in packaging software artifacts, benchmark suites, and proof certificates to meet the rigorous standards of the CAV Artifact Evaluation Committee (AEC). It guides authors through obtaining the Available, Functional, and Reusable badges by structuring containerized environments (Docker/VMs), designing rapid smoke tests, mapping paper claims to reproduction scripts, managing resource limits and solver seeds, and preparing DOI-compliant archival releases on platforms like Zenodo.
주요 기능
01Badge preparation guidelines for Available, Functional, and Reusable AEC badges
02Verification witness, proof certificate, and independent checker configuration
03Container and VM packaging patterns for solvers, model checkers, and provers
041,074 GitHub stars
05Smoke-test design ensuring flawless execution within initial clean-machine testing
06Benchmark suite pinning and explicit claim-to-command reproduction mapping
사용 사례
01Packaging a newly accepted CAV paper tool or solver for the post-notification artifact evaluation deadline
02Creating reproducible Docker images and benchmark reproduction scripts for model checkers and SMT solvers
03Structuring archival deposits on Zenodo with complete open-source licensing to earn all three AEC badges