Menu

Individual skill

cav-review-process

0upvotes

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.

CAV-Skills/skills/cav-review-process/SKILL.md

Read pinned source

Source commit 932eb23331721b16e967c59f093781be1928b498

What was checked

Matches the observed repository HEAD
Yes
Scanner rules are current
Yes
Repository scan complete
No
Skill scan complete
Yes
Observed behavior
Network or broad shell
Last checked
Nov 9, 2026

These are observations at the recorded commit, not a guarantee of safety. Review the source before running it.

Install this skill

Choose an agent in your Stack or copy a command below. Commands fetch the pinned commit and copy only this skill directory. Existing destinations are refused. Copying a command does not install anything.

An install command is unavailable: current rules, complete repository and skill scans, an eligible behavior level and a permitted license are required.

Repository context

Repository stars (not skill ratings)
1,404
Repository last updated
Sep 27, 2026
License
MIT

Observed agent integration: No specific integration evidence. Standard SKILL.md installation does not imply verified compatibility.

Files and excerpt

File metadata and permitted, redacted excerpts come from the recorded scan. Source links are pinned to that commit.

Browse files
Read excerpt

# CAV Review Process

Model the pipeline before interpreting any single review. CAV's process is a **two-stage filter**:
a paper must survive the first two reviews before it reaches a rebuttal and the second pair of
reviews. The most consequential mental shift for authors arriving from a single-round rebuttal
conference is that **a paper can be rejected before the rebuttal ever happens** — so the first read
has to stand on its own.

## Process model

- Submission and review run on the CAV portal (EasyChair or HotCRP — **verify the live link**) with
  **partial double-anonymity**: Regular and Application papers are anonymized; Short Tool and
  Industrial Experience papers are not.
- **Stage 1:** each paper receives **two** reviews. Papers with sufficient support proceed; the
Back to top