Automated Technology for Verification and Analysis

Discover the groundbreaking insights in "Automated Technology for Verification and Analysis," authored by Yu-Fang Chen and published by Springer Nature Switzerland AG in 2019. This comprehensive paperback edition spans 552 pages and presents the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019), held in Taipei, Taiwan in October 2019. Inside, you will find 24 meticulously reviewed regular papers alongside 3 tool papers, all selected from a competitive pool of 65 submissions. This book is an essential resource for researchers and practitioners interested in the latest advancements in automated verification and analysis technologies. Enhance your understanding and stay ahead in this rapidly evolving field with this authoritative volume.