domains / families / research / cav-related-work

cav-related-work

separate

Use when positioning a CAV (Computer Aided Verification) submission against the verification literature across CAV, TACAS, FMCAD, VMCAI, POPL/PLDI, and the journals (FMSD, JAR, TOCL, STTT), writing delta-first contrast rather than a citation catalog, crediting the right benchmark and tool lineages, keeping self-citations double-anonymous for the anonymized categories, and handling concurrent and prior-version overlap.

When to use

• positioning CAV submissions
• auditing novelty and eligibility
• writing delta-first contrasts
• crediting benchmark and tool lineages
• handling double-anonymity
• managing concurrent and prior-version overlap

When not to use

• writing citation catalogs
• re-submitting archival work as new
• making unverifiable priority claims

Skill page

Source