domains / families / research / cav-workflow

cav-workflow

separate

Use when planning a CAV (Computer Aided Verification) project timeline from venue and category selection through submission, the two-stage review with early reject and rebuttal, artifact evaluation by the AEC, and the LNCS open-access camera-ready, with backward-planning offsets for a verification-tool paper and honest handling of the single-annual-deadline cycle.

When to use

• planning a CAV project timeline
• venue and category selection
• submission planning
• two-stage review planning
• early reject and rebuttal planning
• artifact evaluation by the AEC
• LNCS open-access camera-ready planning
• backward-planning offsets for a verification-tool paper

When not to use

• planning for TACAS
• planning for FMCAD
• planning for VMCAI

Skill page

Source