domains / families / research / cav-experiments

cav-experiments

separate

Use when designing or auditing a CAV (Computer Aided Verification) empirical evaluation, covering standard benchmark sets (SV-COMP/SMT-COMP/HWMCC/VNN-COMP), fair baseline solvers with pinned versions and equal resource limits, timeout-dominated comparisons, soundness cross-checks and proof witnesses, cactus/scatter reporting, and matching evidence to the shape of each verification claim.

When to use

• designing CAV empirical evaluation
• auditing CAV empirical evaluation
• selecting standard benchmark sets
• configuring fair baseline solvers
• performing soundness cross-checks
• generating cactus and scatter plots
• matching evidence to verification claims

Skill page

Source