This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
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.
Part of Lecture Notes in Computer Science.
4 references
Syntax-Guided Quantifier Instantiation
Aina Niemetz and others (2021) · 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems · Springer
Verifying OpenJDK's LinkedList using KeY
Hans-Dieter A. Hiep and others (2020) · Tools and Algorithms for the Construction and Analysis of Systems · Springer
A Local Shape Analysis Based on Separation Logic
Dino Distefano and others (2006) · Tools and Algorithms for the Construction and Analysis of Systems · Springer
Breaking and fixing the Needham-Schroeder Public-Key Protocol using FDR
Gavin Lowe (1996) · Tools and Algorithms for the Construction and Analysis of Systems · Springer