Automated Technology for Verification and Analysis

Discover the cutting-edge insights in "Automated Technology for Verification and Analysis," authored by Étienne André and published by Springer International Publishing AG in 2023. This comprehensive volume is a collection of the refereed proceedings from the 21st International Symposium on Automated Technology for Verification and Analysis (ATVA 2023), held in Singapore. Spanning 330 pages, this first edition brings together the latest research and developments in the field, making it an essential resource for academics, researchers, and practitioners alike. Dive into the world of automated verification and analysis, and enhance your understanding of this rapidly evolving discipline. Don't miss your chance to stay ahead in the field with this informative and engaging book.