domains / families / research / cav-review-process

cav-review-process

separate

Use when reasoning about how a CAV (Computer Aided Verification) submission is evaluated, covering the two-stage reviewing process (two reviews then an early-reject filter, then two more reviews with a rebuttal), the partial double-anonymity by category, the accept/reject outcome, the optional non-conditional artifact evaluation, and how CAV differs from TACAS and FMCAD.

When to use

• reasoning about CAV submission evaluation
• modeling the two-stage reviewing process
• understanding partial double-anonymity by category
• interpreting accept/reject outcomes
• understanding optional non-conditional artifact evaluation
• comparing CAV with TACAS and FMCAD

When not to use

• resubmitting unchanged after early reject
• treating stage 1 as a formality
• treating the rebuttal as a debate
• assuming artifact evaluation gates acceptance
• projecting TACAS or FMCAD process onto CAV

Skill page

Source