7th International Symposium on Automated Technology for Verification and Analysis, Macao SAR, China

The purpose of ATVA is to promote research on theoretical and practical aspects of automated analysis, verification and synthesis in East Asia by providing a forum for interaction between the regional and the international research communities and industry in the field&#046; The previous six events were held in Taiwan (2003&#8211;5), Beijing (2006), Tokyo (2007) and Seoul (2008)&#046; The proceedings of ATVA 2009 will be published by Springer as a volume in the LNCS series&#046;<br>