第五届真实系统形式化分析模型研讨会会议录
计算机科学中的逻辑
2022-03-18 v1 编程语言
软件工程
摘要
本卷收录了 MARS 2022 的会议录，即第五届真实系统形式化分析模型研讨会，该研讨会作为 ETAPS 2022（欧洲软件理论与实践联合会议）的一部分召开。MARS 研讨会汇集了来自不同领域的研究人员，他们在网络、信息物理系统、软硬件协同设计、生物学等出现复杂模型的领域中开发真实系统的形式化模型。MARS 的动机与目标源于以下两点观察：* 大型案例研究对于表明规范形式体系和建模技术适用于真实系统至关重要，而许多研究论文仅考虑玩具示例或微小案例研究。* 开发真实系统的精确模型需要大量时间，往往长达数月或数年。然而，在大多数科学论文中，由于篇幅限制以及为形式化验证方法与结果留出空间，模型的显著细节不得不被略去。MARS 研讨会旨在补救这些问题，强调建模而非验证，从而保留从形式化建模中获得的、通常在其他地方未被讨论的经验教训。
引用
@article{arxiv.2203.09299,
title = {Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems},
author = {Clemens Dubslaff and Bas Luttik},
journal= {arXiv preprint arXiv:2203.09299},
year = {2022}
}