第23届国际Overture研讨会论文集
软件工程
2025-06-11 v1
摘要
本文集收录了2025年6月11日举行的第23届国际Overture研讨会的论文。该活动是维也纳开发方法(VDM)、开源项目Overture及相关工具与形式化方法系列研讨会的最新延续。VDM是历史最悠久的形式化方法之一。一个活跃的研究者与从业者社区已在学术界和工业界围绕建模语言(VDM-SL、VDM++、VDM-RT、CML)和工具(VDMTools、Overture、Crescendo、Symphony、INTO-CPS链以及ViennaTalk)发展起来。这些共同构成了一个涵盖静态分析与动态分析、测试生成、执行支持和模型检验的建模与分析技术平台。本次研讨会提供了VDM/Overture新兴技术的最新进展，包括协作基础设施、协同建模以及信息物理系统的协同仿真。
引用
@article{arxiv.2506.08680,
title = {Proceedings of the 23rd International Overture Workshop},
author = {Hugo Daniel Macedo and Ken Pierce},
journal= {arXiv preprint arXiv:2506.08680},
year = {2025}
}