Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020

Armin Biere; David Parker

doi:10.1007/s10009-022-00677-9

Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020

Int J Softw Tools Technol Transf. 2022;24(5):663-665. doi: 10.1007/s10009-022-00677-9. Epub 2022 Sep 23.

Authors

Armin Biere¹, David Parker²

Affiliations

¹ Albert-Ludwigs University, Freiburg, Germany.
² School of Computer Science, University of Birmingham, Birmingham, UK.

Abstract

This special issue of Software Tools for Technology Transfer comprises extended versions of selected papers from the 26th edition of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020). The focus of this conference series is tools and algorithms for the rigorous analysis of software and hardware systems, and the papers in this special cover the spectrum of current work in this field.

Keywords: Compositional verification; Concurrent systems; Formal specification techniques; Model checking; Probabilistic verification; Runtime verification; SAT and SMT solving; Software engineering and maintenance; Software verification; Static analysis; Symbolic execution; Theorem proving; Tool environments and tool architectures.