1、21st ATVA会议及超属性轻量级验证研究综述

21st ATVA会议及超属性轻量级验证研究综述

一、21st ATVA会议概况

2023年10月24 - 27日，第21届自动验证与分析技术国际研讨会（ATVA 2023）在新加坡举行。该会议旨在为区域和国际研究界以及相关行业提供一个交流平台，促进自动分析、验证和综合的理论与实践研究。

本次会议共收到115篇投稿，其中30篇被接受为常规论文，7篇为工具论文，65篇被拒（另有13篇撤回或初审被拒）。所有投稿论文都经过了严格的评审流程，每篇论文至少有3次评审，随后由程序委员会（PC）成员在技术程序委员会（TPC）主席的监督下进行在线讨论，最终形成了高质量且有吸引力的科学议程。

会议邀请了三位知名的 keynote 演讲者，他们的演讲涵盖了当前热门的研究话题，并揭示了许多新的有趣研究方向：
- David Basin（瑞士苏黎世联邦理工学院）：Correct and Efficient Policy Monitoring, a Retrospective
- Ewen Denney（美国宇航局艾姆斯研究中心）：Dynamic Assurance Cases for Machine - Learning Based Autonomous Systems
- Reza Shokri（新加坡国立大学）：Privacy in Machine Learning

会议前还安排了由三位知名专家进行的重要主题教程：
- Jin Xing Lim和Palina Tolmach（美国运行时验证公司）：The K Framework: A Tool Kit for Language Semantics and Verification
-