微软亚洲研究院召开可验证软件研讨会

• 作者: 张蜀
• 来源期刊: 程序员
• 学科: 工学
• 关键词: 微软亚洲研究院 软件验证 中国科学院院士 可信赖性 计算机 获得者 图灵奖 研究员
• 年，卷（期）: 2009,（11）
• 页码范围: I0016
• 页数: 1页
• 分类号: TP311.5

摘要

10月17日，微软亚洲研究院举办的2009可验证软件研讨会在京召开，以探讨计算机软件验证这一关乎解决软件可信赖性的严峻问题。来自海内外的众多知名学者和顶尖计算机专家出席并发表了主题演讲，其中包括可验证软件理论泰斗、1980年图灵奖获得者、微软剑桥研究院首席研究员托尼·霍尔（Tony Hoare）爵士，以及中国科学院院士何积丰、李未、周巢尘、林惠民等。