大江小浪 收录自 popsite.cn · 这家的全部文章 · 这家的收录页 艾伦·爱默生 cocowool 2026-10-13 16:21 技术 艾伦·爱默生是美国计算机科学家，他将模型检查开发为一种高效的验证技术，广泛应用于硬件和软件行业，并因此获得2007年图灵奖。他的工作对计算机科学领域产生了深远影响。 读原文 在博客雷达继续刷 博客雷达不转载正文。这里只有标题、作者、时间和一小段 AI 生成的摘要；全文在作者自己的站点上，阅读请点上面的按钮过去——文章的版权一直在原作者手里。 你也在写博客？做一张「已被博客雷达收录」的徽章挂回自己的站，想挂就挂，也不占首页。