cav-related-work
brycewang-stanford/Awesome-Journal-Skills
Provides detailed guidelines for authors on how to accurately position their research novelty within the complex landscape of formal verification techniques, tools, and academic literature. It emphasizes shifting from a simple citation catalog to a 'delta-first' contrast, clearly articulating technical differences, crediting specific tool and benchmark lineages, and understanding the scope of related venues (e.g., CAV, TACAS, FMCAD).