约瑟夫·希发基思
约瑟夫·希发基思是希腊出生的法国计算机科学家，与爱德蒙·克拉克和E. Allen Emerson共同获得2007年图灵奖，表彰他们在将模型检查发展为高效验证技术方面的贡献，该技术已被硬件和软件行业广泛采用。
博客雷达不转载正文。这里只有标题、作者、时间和一小段 AI 生成的摘要；全文在作者自己的站点上，阅读请点上面的按钮过去——文章的版权一直在原作者手里。
你也在写博客？做一张「已被博客雷达收录」的徽章挂回自己的站，想挂就挂，也不占首页。
约瑟夫·希发基思是希腊出生的法国计算机科学家，与爱德蒙·克拉克和E. Allen Emerson共同获得2007年图灵奖，表彰他们在将模型检查发展为高效验证技术方面的贡献，该技术已被硬件和软件行业广泛采用。
博客雷达不转载正文。这里只有标题、作者、时间和一小段 AI 生成的摘要；全文在作者自己的站点上，阅读请点上面的按钮过去——文章的版权一直在原作者手里。
你也在写博客？做一张「已被博客雷达收录」的徽章挂回自己的站，想挂就挂，也不占首页。