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.
Tools and Algorithms for the Construction and Analysis of Systems (TACAS), part of ETAPS: verification tools and their algorithms, with an emphasis on runnable artefacts. Hosts SV-COMP.
Part of Lecture Notes in Computer Science.
5 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
Symbolic Model Checking without BDDs
Armin Biere and others (1999) · Tools and Algorithms for the Construction and Analysis of Systems (TACAS) · Springer Science+Business Media
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