Aims and Objectives
The purpose of ATVA is to promote research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field.
Highlights
ATVA 2017 is the 15th in a series of symposia aimed at bringing together academics, industrial researchers and practitioners in the area of theoretical and practical aspects of automated analysis, synthesis, and verification of hardware and software systems. ATVA solicits high quality submissions in the following suggestive list of topics:
10月03日
2017
10月06日
2017
初稿截稿日期
初稿录用通知日期
终稿截稿日期
注册截止日期
留言