Summary of the 6th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) co-located with the 39th IEEE/ACM ASE 2024

Over the past three decades, automation has become a central aspect of software development. Teams now strive to automate as many activities as possible, from requirements specification, to system maintenance. This shift towards automation has proven essential in reducing development time and costs while embedding quality into every phase of the development process. The Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) provided a forum to share and discuss innovative contributions to research and practice related to novel software engineering approaches to automated and verifiable development of software systems. The 6th edition of ASYDE took place on October 28th, 2023, co-located with the 39th IEEE/ACM International Conference on Automated Software Engineering (ASE) in Sacramento, California, United States.