Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint ... (Lecture Notes in Computer Science, 15698)
by Arie Gurfinkel, Marijn Heule
This volume collects the proceedings of TACAS 2025, the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. As part of the Lecture Notes in Computer Science series, it presents contemporary academic work in software construction, system analysis, tools, and algorithms.
About This Book
Tools and Algorithms for the Construction and Analysis of Systems presents the proceedings of the 31st International Conference on TACAS 2025.
The conference was held as part of the International Joint Conference on Theory and Practice of Software.
This volume focuses on tools and algorithms related to the construction and analysis of software systems.
Edited by Arie Gurfinkel and Marijn Heule, the book appears in the Lecture Notes in Computer Science series.
Reviews
No reviews yet. Be the first to review this book!