图灵奖科学家三位检测技术开发模型验证技术软件工业计算机
摘要：美国计算机协会（ACM）近日公布了2007年度图灵奖（TuringAward）的评选结果，本年度图灵奖授予Edmund M．Clarke、E Allen Emerson和JosephSifakis三位科学家，表彰他们开发模型检测技术，并使之成为一个广泛应用在硬件和软件工业中非常有效的算法验证技术所做的奠基性贡献。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《中国科技奖励》（CN：11-3085/G3）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《中国科技奖励》以广阔的视野、创新的思维、卓越的品质，对报道对象和受众给予强烈的人文关怀；独家、客观且富有洞察力、前瞻性。关注中国乃至世界的科技事件，关注科技英才的人生，弘扬中华民族的优秀民族精神。
部级期刊
人气 1072786 评论 53
省级期刊
人气 845234 评论 70
人气 805421 评论 68
人气 752443 评论 72
