Automated Technology for Verification and Analysis

Discover the cutting-edge insights in "Automated Technology for Verification and Analysis," authored by Bernd Finkbeiner and published by Springer International Publishing AG in 2015. This comprehensive volume, spanning 520 pages, compiles the proceedings from the 13th International Symposium on Automated Technology for Verification and Analysis (ATVA 2015), held in Shanghai, China. Within these pages, you will find 27 meticulously revised papers alongside 6 innovative tool papers, all selected through a rigorous review process from a competitive pool of 95 submissions. This book is an essential resource for researchers and practitioners in the fields of automatic theorem proving and verification technology. Enhance your understanding of the latest advancements and methodologies in automated analysis with this invaluable collection.