domains / families / research / cav-supplementary

cav-supplementary

separate

Use when deciding what belongs in a CAV (Computer Aided Verification) paper body versus its optional appendix and artifact, covering the LNCS page limits, the rule that reviewers are not obliged to read the appendix so decision-critical content stays in the body, where full proofs and benchmark tables live, and double-anonymous supplementary material for the anonymized categories.

When to use

• deciding what belongs in a CAV paper body versus appendix
• checking LNCS page limits for CAV papers
• ensuring decision-critical content stays in the body
• placing full proofs and benchmark tables in appendix or artifact
• managing double-anonymous supplementary material
• verifying anonymity of appendix and review-time artifact
• checking appendix architecture and references
• splitting technique-plus-tool papers

When not to use

• writing the main theorem or technique
• conducting benchmark experiments
• building the tool or solver
• generating proof certificates

Skill page

Source