2007年图灵奖宣布
互联网 / houtizong 发布于 2年前 81
美国计算机协会宣布了2007年图灵奖获得者：Edmund M. Clarke，Allen Emerson和Joseph Sifakis在开发自动化方法检测计算机硬件和软件中的设计错误上的贡献而授予此计算机行业的最重要奖项。模型检测（Model Checking）是一类“验证”，分析设计背后的逻辑，就像数学家用证明来判断一个定理是否正确。模型检测并非是胡乱的检查，它要考虑硬件和软件设计的每一种可能情况，判断它是否与设计者的规范一致。1981年，哈佛大学的Clarke和Emerson提出了模型检测的最初理念。他们开发了一套理论方法判断硬件和软件设计的理论模型是否满足正式规范，赋予一个时序逻辑规则，描述事情发展可能性的一个符号。此外，当系统检测失败，它还能确定源代码中的问题存在位置。目前已经许多模型检测系统在使用，Clarke在1982年实现了第一个模型检测器。
上一篇：粒子群优化算法应用于图像分析
请勿发布不友善或者负能量的内容。与人为善，比聪明更重要！
技术博客集 - 网站简介：
前后端技术：
后端基于Hyperf2.1框架开发,前端使用Bootstrap可视化布局系统生成
网站主要作用：
1.编程技术分享及讨论交流，内置聊天系统;
2.测试交流框架问题，比如：Hyperf、Laravel、TP、beego;
3.本站数据是基于大数据采集等爬虫技术为基础助力分享知识，如有侵权请发邮件到站长邮箱，站长会尽快处理;
4.站长邮箱：[email protected];
文章归档
文章标签
友情链接
