CAV Topic Selection
Guides formal-methods researchers in choosing the right publication venue and submission track for CAV, TACAS, FMCAD, and related conferences.
CAV Topic Selection helps computer science researchers determine whether a formal-methods research project belongs at the flagship CAV (International Conference on Computer Aided Verification) or should be routed to alternative venues like TACAS, FMCAD, VMCAI, POPL, or specialized journals. It provides structured routing logic, guarantee tests, and track-selection guidelines for CAV submission categories—such as Regular, Short Tool, Short Application, and Industrial Experience & Case Study—ensuring papers are positioned for maximum reviewer alignment and acceptance potential.
主要功能
01Provides category-selection criteria across Regular, Short Tool, Short Application, and Industrial tracks
021,074 GitHub stars
03Includes a decision procedure to align submission timelines, reviewer pools, and page constraints
04Evaluates project fit between CAV and sibling venues like TACAS, FMCAD, VMCAI, and PL conferences
05Recommends relevant benchmark suites including SV-COMP, SMT-COMP, HWMCC, and VNN-COMP
06Applies the Guarantee and Re-label tests to validate core formal contributions
使用场景
01Choosing between a Regular paper or a Short Tool paper category for verification software systems
02Reframing research claims to emphasize durable formal guarantees before drafting
03Deciding whether a formal verification paper belongs at CAV, TACAS, FMCAD, or a journal like FMSD