专栏名称: Python程序员
最专业的Python社区,有每日推送,免费电子书,真人辅导,资源下载,各类工具。我已委托“维权骑士”(rightknights.com)为我的文章进行维权行动
今天看啥  ›  专栏  ›  Python程序员

2007图灵奖得主离开了:模型检测先驱Edmund Clarke因新冠逝世

Python程序员  · 公众号  · Python  · 2021-05-17 08:10
机器之心报道作者:蛋酱、张倩2020 还能更糟糕吗?12 月 23 日,英特尔量子硬件研究组总监 James S. Clarke 发文表示,他的父亲、2007 年图灵奖得主 Edmund M. Clarke 因感染新冠不幸去世,享年 75 岁。Edmund M. Clarke 生前就职于卡内基梅隆大学(CMU),是该校的终身教授。1981 年,他与自己的博士生 Allen Emerson 首次提出了模型检测的想法并用在自动机并发系统的验证研究上,成为形式逻辑研究方面模型检测(model checking)的开创者之一。模型检测是一种自动验证技术,主要通过显式状态搜索或隐式不动点计算来验证有穷状态并发系统的模态 / 命题性质。由于模型检测可以自动执行,并能在系统不满足性质时提供反例路径,因此在工业界比演绎证明更受推崇。尽管限制在有穷系统上 ………………………………

原文地址:访问原文地址
快照地址: 访问文章快照