ATVA

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. ATVA often takes place in Asia, but is an international forum that serves the world wide research community.

Primary location: Los Angeles United States