International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)

TACAS, part of the ETAPS federation, advances rigorous tools and algorithms for analysing and constructing reliable systems. It welcomes research, tool, and case-study papers, many of which undergo voluntary artefact evaluation. A hallmark is the competition on software-verification tools that benchmarks state-of-the-art techniques. Its interdisciplinary scope bridges formal verification, model checking, and practical tooling for safety-critical domains.