Collection
Selected Extended Papers of TACAS 2024 (theory track)
TACAS'24 was the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems held on April 6-11, 2024 in Luxembourg City, Luxembourg.
TACAS is a forum for researchers, developers and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility and efficiency of tools and algorithms for building systems.
Editors
-
Bernd Finkbeiner
Prof. Bernd Finkbeiner, Ph.D. is a faculty at the CISPA Helmholtz Center for Information Security and a professor for computer science at Saarland University. He obtained his Ph.D. in 2003 from Stanford University. Since 2003, he leads the Reactive Systems Group, which became part of CISPA in 2020. His research focus is the development of reliable guarantees for the safety and security of computer systems, including specification, program synthesis and repair, and static and dynamic verification. finkbeiner@cispa.de
-
Laura Kovács
Laura Kovács is a full professor at the Faculty of Informatics of the Vienna University of Technology (TU Wien), leading the research group in automated program reasoning- APRe. laura.kovacs@tuwien.ac.at
