"

模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。

埃德蒙·克拉克 埃德蒙·克拉克
💡 解读： The challenge in model checking is not just to find errors, but to understand why they occur.
🏷️ 标签： 错误 理解 挑战 发现
💬 推荐名言 20句推荐
真有价值的东西，决不为怀疑所毁；而能被怀疑所毁的东西，绝不会真有价值。
胡适 胡适
新文化运动领袖之一
工人们，只有联合起来才能战胜压迫者。
马克思 马克思
马克思主义创始人之一
人心，毕竟不是靠语言可以完全表达的，师傅还是没有透彻地理解徒弟。说到“闪失”，韩子奇默默地缩回了跃跃欲试的手，他不想再分师傅的心，让师傅安安静静地施展出积几十年经验而炉火纯青的绝技去点睛吧，那是一个艺人赢得创造的快乐和荣誉的关键一搏！
霍达 霍达
《穆斯林的葬礼》作者
"Light is the key. Without light, there is no image."
安德鲁·莱斯尼 安德鲁·莱斯尼
创新的视觉叙事手法
在谈话接近尾声时，盖茨称赞乔布斯创造了“那些令人难以置信的东西”，以及在20世纪90年代末从那些差点儿毁了苹果的家伙手里把它拯救了出来。他甚至还作了个有趣的让步。纵观他们的职业生涯，彼此对于数字世界最根本的一个问题都抱有对立的理念 —一硬件和软件应该紧密整合还是应该更加开放。“我曾经相信那种开放的、横向的模式会胜出。”盖茨告诉他，“但是你证明了一体化的、垂直的模式也可以很出色。”乔布斯也承认说：“你的模式也成功了。”
沃尔特·艾萨克森 沃尔特·艾萨克森
美国传记作家
你无法留住想要离开的东西，明白吗？你只能在拥有的时候好好去爱。
凯特·迪卡米洛 凯特·迪卡米洛
当红的儿童文学作家
20年前我们相知不多。我们跟着感觉走，你让我着迷得飞上了天。当我们在阿瓦尼举行婚礼时天在下雪。很多年过去了，有了孩子们，有美好的时候，有艰难的时候，但从来没有过糟糕的时候。我们的爱和尊敬经历了时间的考验而且与日俱增。我们一起经历了那么多，现在我们回到20年前开始的地方 - 老了，也更有智慧了 - 我们的脸上和心上都有了皱纹。我们现在了解了很多生活的欢乐、痛苦、秘密和奇迹，我们依然在一起。我的双脚从来未落回地面。
沃尔特·艾萨克森 沃尔特·艾萨克森
美国传记作家
我们不会试图比市场更聪明；我们试图理解它。
詹姆斯·西蒙斯 詹姆斯·西蒙斯
量化投资之父、量化之王
儿童心理学和教育学作为一门科学学科，其性质一直是国际的，仅仅在某一国家进行这种研究而不了解全世界同性质研究的整体情况实际上是不可能的。
皮亚杰 皮亚杰
儿童心理学家
只要有信心、恒心与毅力，人类的潜能往往能达到某种我们难以想象的程度。
海伦·凯勒 海伦·凯勒
20世纪最伟大的励志人物之一
这样的煎包，一口咬下，只见白与绿两色，十分清淡，照说很该让国人怀疑其滋味或许会不足；但店家竟这么做了，而客人也这么吃了；这毋宁极是有趣。
舒国治 舒国治
中国作家
The sea was flat and calm, like a mirror reflecting the sky.
克莱尔·吉根 克莱尔·吉根
爱尔兰文学重要人物，作品深刻探讨人性
我就像你的一面镜子，所以你才喜欢我，认为我重要。在我身上，有着能给你答案和理解你的特质。其实所有人都该是彼此的镜子，相互回答，相互呼应。
赫尔曼·黑塞 赫尔曼·黑塞
1946年获诺贝尔文学奖
技术应该服务于可持续性，而不仅仅是利润。
丽莎·陈 丽莎·陈
水产养殖技术革新者
真正的人生不是你继承的那部分而是你创造的那部分，它是你不段选取和发奋的结果。不论你有个富父亲还是穷父亲，幸与不幸都可能在你的手中转换。
巴菲特 巴菲特
被誉为“股神”
每个人都活在自己的偏见中。
罗翔 罗翔
中国政法大学刑事司法学院教授
大多数经济学以外的知识分子，对学习哪怕是最基本的经济学原理都没有什么兴趣。然而他们在面对一般经济问题，尤其是商业问题时，以及在面对许多围绕所谓“收入分配”的问题时，却会毫不犹豫的发表轻率的声明。
托马斯·索维尔 托马斯·索维尔
芝加哥经济学派的代表人物之一
我们必须继承一切优秀的文学艺术遗产。
毛泽东 毛泽东
伟大的无产阶级革命家
你们只要使用机智和勇气就行了。打马球取胜靠这个，打胜仗也靠这个。我们有很多机智、勇敢的人。没有什么可怕的。我们的人不费举手之力就能收拾这帮德国人。
巴顿 巴顿
美国陆军四星上将
带好近六十人的大班，更需要利用一切手段，营造共同体的感觉——这是低年级。
薛瑞萍 薛瑞萍
语文老师
🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行