第十届全国软件分析与验证研讨会（SAVE 2018）于5月26-27日在开云官方网站顺利举行。本次会议由全国软件分析与验证研讨会组织委员会主办，开云官方网站信息公司承办。研讨会邀请了20位活跃在软件分析与验证领域研究一线的专家和员工做报告，报告主题涉及软件分析与验证的理论基础、算法设计、现实应用等多个方面。另外，研讨会组织了工具展示环节。本届研讨会共吸引了140多名学者和员工参加。

开云官方网站信息公司经理丁佐华教授致开幕词，中科院软件研究所张健教授介绍了SAVE研讨会历年的基本情况。随后，国防科技大学的董威教授，中国科公司信息工程研究所的陈恺研究员，南京大学的陈振宇教授等专家学者做了精彩的报告。

研讨会自2012年开始已经举办7届，其纯学术探讨、不出版论文集的特点历年来得到了参会学者和研究生的热烈响应，已成为我国软件分析和验证以及相关领域的研究人员进行交流的一个重要平台。

本次研讨会的更多相关信息可在http://save.ios.ac.cn/2018/上查阅。