International Symposium on Automated Technology for Verification and Analysis
会议地点: Taipei, China
ATVA 2019 is the 17th International Symposium on Automated Technology for Verification and Analysis. This symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between international research communities and industry in the field. Previous events were held in Taiwan (2003-2005), Beijing (2006), Tokyo (2007), Seoul (2008), Macao (2009), Singapore (2010), Taiwan (2011), Thiruvananthapuram (2012), Hanoi (2013), Sydney (2014), Shanghai (2015), Chiba (2016), Pune (2017), and Los Angeles (2018).