第七届真实系统形式化分析模型研讨会论文集
计算机科学中的逻辑
2026-04-06 v1 软件工程
摘要
这些论文集包含在第七届真实系统形式化分析模型研讨会（MARS 2026）上发表的论文，该研讨会于 2026 年 4 月 12 日在意大利都灵举行，作为第二十九届理论与软件实践国际联合会议（ETAPS 2026）的卫星活动。MARS 的目标是将来自不同社区的研究人员聚集在一起，他们正在为复杂模型出现的领域（如网络、信息物理系统、软硬件协同设计、生物学）开发真实系统的形式化模型。MARS 的动机源于以下两个观察：- 大型案例研究对于证明规范形式化方法和建模技术可应用于真实系统至关重要，而许多论文仅考虑玩具示例或小型案例研究。- 开发真实系统的精确模型需要大量时间，通常需要数月甚至数年。然而在大多数论文中，由于空间限制，需要跳过模型的显著细节，为形式化验证方法和结果留出空间。MARS 旨在解决这些问题，强调建模而非验证，以保留从形式化建模中获得的经验教训，这些经验教训通常在其他地方不被讨论，并可能为未来的分析和比较奠定基础。
引用
@article{arxiv.2604.03053,
title = {Proceedings of the 7th Workshop on Models for Formal Analysis of Real Systems},
author = {Maurice H. ter Beek and Gregor Gössler},
journal= {arXiv preprint arXiv:2604.03053},
year = {2026}
}