ASYDE 2025: 7th International Workshop on Automated and verifiable Software sYstem DEvelopment 2025