Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings

The proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis capture a significant gathering of experts who gathered in Hanoi, Vietnam, from October 19 to 23, 2020. This event served as a platform for researchers and practitioners to share their latest findings and innovative ideas in the field of automated technology.

Contributions within these pages explore advanced methodologies and tools designed for verification and analysis processes, reflecting the current trends and challenges in this rapidly evolving domain. The discussions and studies presented aim to enhance understanding and foster collaborations among the global community interested in automated verification technologies.

Participants showcased their research through papers that delve into theoretical advancements and practical applications, promoting a deeper dialogue on the future direction of automated methodologies. This compilation serves not only as a record of the symposium but also as a valuable resource for academics and industry professionals engaged in the pursuit of improved technologies for verification and analysis.