Automated Technology for Verification and Analysis

Discover cutting-edge research in Automated Technology for Verification and Analysis by Deepak D'Souza, published by Springer International Publishing AG in 2017. This comprehensive volume compiles the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis (ATVA 2017), held in Pune, India. With a total of 482 pages, the book features 22 full papers and 7 short papers that have been meticulously reviewed and selected from an impressive 78 submissions. This essential resource is perfect for researchers and practitioners looking to enhance their understanding of automated verification and analysis technologies. Dive into the latest advancements and insights in this dynamic field!