验证和分析自动化技术：第 15 届国际研讨会，ATVA 2017，印度浦那，2017 年 10 月 3-6 日，会议记录 电子书下载

原名:Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings
作品简介:本书是 2017 年 10 月在印度浦那举行的第 15 届验证与分析自动化技术国际研讨会 ATVA 2017 的审稿论文集。本书中提出的 22 篇完整论文和 7 篇短文经过仔细审查，并从 78 篇论文中挑选出来。意见书。……