1、软件验证与监控：VSTTE与NSV的关键洞察

软件验证与监控：VSTTE与NSV的关键洞察

1. VSTTE 2021与NSV 2021概述

1.1 VSTTE 2021简介

VSTTE 2021（第13届经过验证的软件：理论、工具和实验工作会议）于2021年10月18 - 19日以线上形式举行，与第21届计算机辅助设计形式化方法会议（FMCAD 2021）同期举办。该会议是推进经过验证的软件倡议（VSI）的主要论坛，旨在汇聚软件验证领域的专家，促进国际合作以应对关键研究挑战。

此次会议共收到来自11个国家的17篇投稿，由来自世界各地的23位杰出计算机科学家组成的程序委员会进行评审，采用单盲模式，每位投稿由三位委员会成员评审。此外，还邀请了7位外部评审专家。最终，委员会经过全面讨论，决定接受7篇论文。会议技术议程还包括两场邀请报告和两场联合FMCAD的邀请教程。

VSTTE 2021组织架构如下：
| 角色 | 姓名 | 所属机构 |
| — | — | — |
| 大会主席 | Natarajan Shankar | SRI International, USA |
| 程序委员会主席 | Roderick Bloem | Graz University of Technology, Austria |
| 程序委员会主席 | Natasha Sharygina | USI Lugano, Switzerland |

1.2 NSV 2021简介

NSV 2021（第14届国际数值软件验证研讨会）于2021年7月18 - 19日以线上形式举行，与第33届国际计算机辅助验证会议（CAV 2021）同期举办。数