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