ATVA 2023

21st International Symposium on Automated Technology for Verification and Analysis

ATVA 2023 is the 21st International Symposium on Automated Technology for Verification and Analysis, 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), Los Angeles (2018), Taiwan (2019), Hanoi (2020), Gold Coast (2021), and Beijing (2022).

ATVA 2023 will take place in Singapore. The proceedings will be published in the Springer Lecture Notes in Computer Science (LNCS) series.

Topics:

• Formalisms for modeling hardware, software and embedded systems
• Specification and verification of finite-state, infinite-state and parameterized system
• Program analysis and software verification
• Analysis and verification of hardware circuits, systems-on-chip and embedded systems
• Analysis of real-time, hybrid, priced, weighted and probabilistic systems
• Deductive, algorithmic, compositional, and abstraction/refinement techniques for analysis and verification
• Analytical techniques for safety, security, and dependability
• Testing and runtime analysis based on verification technology
• Analysis and verification of parallel and concurrent systems
• Analysis and verification of deep learning systems
• Analysis and verification of blockchain based systems
• Verification in industrial practice
• Synthesis for hardware and software systems
• Applications and case studies
• Automated tool support