"

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

约瑟夫·斯法基斯 约瑟夫·斯法基斯
💡 解读： 形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
💬 推荐名言 20句推荐
Optimizing compilers are a lot like nuclear power plants. They are both very powerful and very dangerous.
弗朗西斯·艾伦 弗朗西斯·艾伦
编译器优化的先驱
一个不公平的裁判比许多不公平的举动更糟糕。因为这些不义、只叫水变脏。并且不义的审判、叫水变坏。
培根 培根
英国文艺复兴时期散文家、哲学家
如果痛苦是人类注定的命运，我们不是让人们仅仅去忍受。
乔治·塞菲里斯 乔治·塞菲里斯
1963年诺贝尔文学奖得者
外国人不需要中国人，中国人也不需要外国人， 在这一点上，我任何时候都是和义和团站在起的。义和团是 爱国者。他们爱自己的国家胜过爱别的民族的国家。我祝愿 他们成功。义和团主张把我们赶出他们的国家。我也是义和 团。因为我也主张把他们赶出我们国家。
马克吐温 马克吐温
美国的幽默大师
When it comes to human dignity, we cannot make compromises.
安格拉·默克尔 安格拉·默克尔
稳健的欧洲政策与抗疫领导力
Ignorance more frequently begets confidence than does knowledge.  
达尔文 达尔文
进化论的奠基人
  这是些和命运无关，或者说给命运打底的东西，平时谁也不会注意，那就是日常生活。
王安忆 王安忆
作家，曾获世界华文长篇小说奖“红楼梦奖”
秦汉之际的制度变革，实为中国古代政治转型的关键节点。
孙家洲 孙家洲
秦汉史研究权威学者
表面上洒脱自由，其实内心软弱无力。
消失宾妮 消失宾妮
中国当代作家、编剧
你的气场会吸引你的同类。
亚瑟小子 亚瑟小子
R&B与流行乐坛的领军人物
世上有各式各样的锁，同时也配好了各式各样的钥匙。
霍达 霍达
《穆斯林的葬礼》作者
全球团结是战胜疫情的唯一途径。
安东尼奥·古特雷斯 安东尼奥·古特雷斯
推动全球可持续发展和多边主义
最终，重要的不是奖项或认可，而是我们讲述的故事和我们触动的生活。
道格拉斯·斯图尔特 道格拉斯·斯图尔特
以《舒吉·贝恩》获得布克奖
贫寒更须读书，富贵不忘稼穑。
王永彬 王永彬
清代学者
一分钱的心胸，绝对换不来两分钱的收获。
奥格·曼狄诺 奥格·曼狄诺
《羊皮卷》作者
愿躲在世界的一个角落，孤寂地生活，每天意识到圆满的自我，掌控自己的生活，过一种平静、愉悦、独立、自身圆满的生活。
李银河 李银河
中国社会科学院社会学研究所研究员
读书越多，越感到腹中空虚。
雪莱 雪莱
被誉为“诗人中的诗人”
幻想是诗人的翅膀，假设是科学家的天梯。
歌德 歌德
最伟大的德国作家之一
有人说我有唱诗班男孩的声音，却长得像女校长。
苏珊·波伊尔 苏珊·波伊尔
选秀奇迹，创销量纪录
制造窗口重叠的假象，需要编写复杂的代码，其中运用到了“区域”（Region）这样一个概念。阿特金森强迫自己一定要做出这个效果，因为他觉得自己在施乐PARC见过这个功能。而实际上，施乐PARC的人从来没能实现这个功能。他们后来还对阿特金森完成这一壮举表示了震惊。“我终于知道什么叫无知者无畏了，”阿特金森说，“正因为我不知道这个任务是如此困难，我才得以完成它。”
沃尔特·艾萨克森 沃尔特·艾萨克森
美国传记作家
🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行