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

A conference, workshop or journal: the thing that recurs, across all its years.

One of the ETAPS conferences, held every spring. TACAS is where verification tools are presented rather than only techniques: model checkers, SMT-based analysers, static analysers and the algorithms behind them, with a long-standing emphasis on artefacts that others can run. It also hosts the annual SV-COMP competition on software verification.

https://etaps.org/

Part of Lecture Notes in Computer Science.

2 references