EAN: 9783031308222

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND A...

This open access book constitutes the proceedings of the 29th International Conference on Tools
and Algorithms for the Construction and Analysis of Systems  TACAS 2023  which was held as part
of the European Joint Conferences on Theory and Practice of Software  ETAPS 2023  during April
22-27  2023  in Paris  France. The 56 full papers and 6 short tool demonstration papers
presented in this volume were carefully reviewed and selected from 169 submissions. The
proceedings also contain 1 invited talk in full paper length  13 tool papers of the affiliated
competition SV-Comp and 1 paper consisting of the competition report. 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
computer-controlled systems.

Aktuelle Preise zur EAN 9783031308222

Produktinformationen zur 9783031308222