domains / families / research / cav-writing-style

cav-writing-style

separate

Use when revising a CAV (Computer Aided Verification) paper for a precise verification contribution on the first page, an explicit soundness/completeness statement, theorem-and-proof discipline in the LNCS page budget, fair benchmark claims, honest scope and limits, and double-blind wording for the anonymized categories.

When to use

• revising a CAV paper
• stating a precise verification contribution
• ensuring explicit soundness/completeness statements
• applying theorem-and-proof discipline
• making fair benchmark claims
• stating honest scope and limits
• applying double-blind wording

When not to use

• Tool and Industrial papers

Skill page

Source