Skill UI

This guide helps researchers strategically determine the best academic venue (e.g., CAV, TACAS, FMCAD) and paper category (Regular, Tool, Application, Industrial) for their formal methods research. It provides detailed criteria for classifying contributions based on guaranteed techniques, usable tools, or real-world case studies, ensuring maximum impact and fit for the target conference.

This comprehensive guide outlines the necessary theoretical rigor for algorithms and models submitted to top-tier computational journals. It instructs authors on how to formally state mathematical formulations, rigorously prove model validity, establish convergence, and quantify complexity (e.g., approximation ratios, finite termination). It provides specialized paths for exact methods, metaheuristics, and ML-enhanced OR, ensuring that the theoretical advancements fully support and rationalize the experimental findings.

This guide provides detailed guidelines for authors submitting to top-tier formal methods conferences (like TACAS). It emphasizes moving beyond simple literature summaries by employing a "delta-first" approach. Authors must precisely position their algorithm or tool by contrasting its novel features, guarantees, or scaling benefits against the nearest prior work, while also crediting underlying infrastructure and covering major verification venues.