Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Pa

Posted By: arundhati
Date: Nov. 7, 2022

Dana Fisman, "Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Pa"
English | ISBN: 3030995232 | 2022 | 605 pages | PDF | 20 MB

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.
The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report.

Read more