TACAS Supplementary Material Partitioning
Organizes and partitions TACAS conference paper content across body, appendix, supplementary websites, and artifacts according to ETAPS guidelines.
TACAS Supplementary helps academic researchers, tool developers, and formal verification authors properly partition their TACAS (ETAPS) submissions between the main paper body, appendix, supplementary websites, and evaluation artifacts. Operating under strict 16-page research and 6-page tool-demo llncs.cls page constraints (which exclude references and marked appendices), this skill guarantees that all decision-critical soundness proofs, core algorithms, and headline benchmark comparisons remain directly in the reviewed body pages. It simultaneously organizes extended proof steps, comprehensive raw log tables, and reproducible artifacts in compliance with single-blind or double-blind anonymity requirements.