1、安全LTL公式的组合合成技术：突破与进展

安全LTL公式的组合合成技术：突破与进展

1. 会议与背景介绍

VSTTE 2022 是第 14 届经过验证的软件工作会议，于 2022 年 10 月 17 - 18 日在意大利特伦托举行，与第 22 届国际计算机辅助设计形式方法会议（FMCAD 2022）同期举办。验证软件倡议（VSI）由 Tony Hoare 和 Jayadev Misra 牵头，致力于让大规模验证软件成为现实，而 VSTTE 是推动该倡议的主要论坛。

此次会议收到了来自 14 个国家作者的 20 份投稿，程序委员会由来自世界各地的 27 位杰出计算机科学家组成。每篇投稿都由至少三名程序委员会成员以单盲模式进行评审，还邀请了五名副评审提供专业意见。最终，委员会接受了九篇论文。会议的技术议程还包括两场特邀演讲以及一场与 FMCAD 2022 联合举办的特邀教程。

会议的组织架构如下：
- 大会主席 ：Supratik Chakraborty（印度孟买理工学院）
- 程序主席 ：Akash Lal（微软印度研究院）、Stefano Tonetta（意大利 FBK）
- 程序委员会成员 ：包括 Christel Baier（德国德累斯顿工业大学）、Nikolaj Bjorner（微软美国研究院）等众多来自不同国家和机构的专家。

2. 反应式合成与 LTL 概述

反应式合成旨在根据系统期望行为的高级描述，自动构建一个能与不可控外部环境持续交互的反应式系统。这种声明式范式有望实现程序设计的构造正确性理念，而线性时态逻辑（LTL）是一种