This volume contains the papers presented at the 21st International Overture Workshop, held on the 10th of March 2023. This event was the latest in a series of workshops around the Vienna Development Method (VDM), the open-source project Overture, and related tools and formalisms. VDM is one of the longest established formal methods for systems development. A lively community of researchers and practitioners has grown up in academia and industry has grown around the modelling languages (VDM-SL, VDM++, VDM-RT, CML) and tools (VDMTools, Overture, Crescendo, Symphony, the INTO-CPS chain, and ViennaTalk). Together, these provide a platform for work on modelling and analysis technology that includes static and dynamic analysis, test generation, execution support, and model checking. This workshop provided updates on the emerging technology of VDM/Overture, including collaboration infrastructure, collaborative modelling and co-simulation for Cyber-Physical Systems.

翻译：本卷收录了2023年3月10日举行的第21届国际Overture研讨会上发表的论文。此次活动是围绕维也纳开发方法（VDM）、开源项目Overture及相关工具和形式化方法系列研讨会的最新一期。VDM是系统开发领域历史最悠久的形式化方法之一。围绕建模语言（VDM-SL、VDM++、VDM-RT、CML）和工具（VDMTools、Overture、Crescendo、Symphony、INTO-CPS工具链及ViennaTalk），学术界和工业界已形成一个活跃的研究者与实践者社区。这些成果共同为建模与分析技术（包括静态与动态分析、测试生成、执行支持和模型检测）提供了工作平台。本次研讨会介绍了VDM/Overture新兴技术的最新进展，包括协作基础设施、面向信息物理系统的协同建模与联合仿真。