第二届真实系统形式化分析模型研讨会论文集
计算机科学中的逻辑
2017-03-20 v1 计算工程、金融与科学
形式语言与自动机理论
摘要
本卷收录了MARS 2017——第二届真实系统形式化分析模型研讨会的论文集。该研讨会于2017年4月29日在瑞典乌普萨拉举行，作为欧洲软件理论与实践联合会议（ETAPS 2017）的附属研讨会。研讨会强调建模而非验证，旨在讨论从将形式化方法应用于现实系统验证与分析中汲取的经验教训。例如：(1) 选择了哪种形式化方法，为什么？(2) 必须进行哪些抽象，为什么？(3) 系统的重要特性是如何建模的？(4) 系统建模过程中是否出现了任何复杂情况？(5) 采取了哪些措施来保证模型的准确性？我们征集了展示真实系统完整模型的论文，这些模型可为未来的比较和分析奠定基础。研讨会的一个目标是展示不同的建模方法并讨论各自的优缺点。鼓励对本研讨会所展示系统进行替代性形式化描述，这将促进改进的规约形式化方法的发展。
引用
@article{arxiv.1703.05812,
title = {Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems},
author = {Holger Hermanns and Peter Höfner},
journal= {arXiv preprint arXiv:1703.05812},
year = {2017}
}