1、2022可靠软件工程国际研讨会：理论、工具与应用综述

2022可靠软件工程国际研讨会：理论、工具与应用综述

1. 研讨会概述

2022 年 10 月 27 - 29 日，第 8 届可靠软件工程国际研讨会（SETTA 2022）在北京举行，此次研讨会与 ATVA 2022 同期举办。研讨会共收到 29 份投稿，最终选出 11 篇全文论文和 3 篇展示了有前景的正在进行中的工作的短文。每篇投稿都经过程序委员会至少 4 名成员的单盲评审。

SETTA 研讨会旨在汇聚国际研究人员，交流研究成果和想法，以弥合形式化方法与软件工程之间的差距。它聚焦于不同研究小组的兴趣和成果，以推动基于兴趣的研究合作，目标是追求学术卓越，成为中国形式化软件工程领域的旗舰会议。

形式化方法在大约半个世纪前成为计算机科学和软件工程的重要领域，国际上已形成研究、开发和教授形式化理论、技术和工具的社区，用于软件建模、规范、设计和验证。然而，在实践中，形式化方法对软件系统质量和改进的影响滞后，例如在将形式化技术和工具应用于网络物理系统（CPS）、物联网（IoT）、企业系统和基于云的系统等大规模系统时面临挑战。

为实现目标并促进形式化方法研究的可持续性，研讨会特别鼓励年轻研究人员和学生参与。

2. 研讨会关注主题

SETTA 关注的主题广泛，包括但不限于以下方面：
- 需求规范和分析
- 建模、设计和实现的形式化方法
- 模型检查、定理证明和决策程序
- 形式化系统分析的可扩展方法
- 模拟、运行时验证和测试的形式化方法
- 形式化方法与软件工程实践的集成
- 组件、系统和系统之系统的基于契约的工程
- 软件演化和维护的形式化和工程