微软力推可验证软件  

作　　者：李涛 

出　　处：《新电脑》2009年第11期167-167,共1页

摘　　要：本刊讯 近日，微软亚洲研究院2009可验证软件研讨会召开。对于中国可信赖软件的发展，与会专家、中国科学院的何积丰院士认为，“可信赖计算在中国的发展不仅是中国计算机产业走向核心技术领域的一个重大发展机遇，而且关乎中国企业和消费者的最终利益。”

关 键 词：微软亚洲研究院 软件 验证 中国计算机产业 中国科学院 企业 消费者 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论] F407.67[自动化与计算机技术—计算机科学与技术]