domains / families / research / cav-topic-selection

cav-topic-selection

separate

Use when deciding whether a formal-methods project belongs at CAV (Computer Aided Verification) or should be routed to TACAS, FMCAD, VMCAI, LPAR/IJCAR, POPL/PLDI/OOPSLA, or a journal (FMSD/JAR/TOCL), and when choosing the right CAV category — Regular, Short Tool, Short Application, or Industrial Experience & Case Study.

When to use

• deciding venue for formal-methods projects
• routing to TACAS, FMCAD, VMCAI, or PL venues
• choosing CAV category (Regular, Tool, Application, Industrial)
• evaluating contribution shapes for CAV
• applying guarantee and re-label tests
• reconnaissance of CAV programs and benchmarks

When not to use

• drafting the paper
• writing verification code
• performing model checking
• submitting to journals

Skill page

Source