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