"Verification is not just about finding bugs; it's about understanding why the system works the way it does."
验证不仅仅是发现错误；它关乎理解系统为何以某种方式工作。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
对于一个深爱的人，无论对方遭遇眼瞎、口哑、耳聋、颜面烧伤、四肢残缺……都可以坦然面对，照样或更当小心地爱下去。
佚名
Every piece of fruit tells a story—of the land, the hands that cultivated it, and the journey it took to reach the consumer.
每一颗水果都讲述着一个故事——关于土地、培育它的双手以及它到达消费者手中的旅程。
阿尔贝托·萨拉
冬天的雪覆盖了田野，却盖不住农民对春天的期盼。
张大山
习训诂，传记诵，没溺于浅闻小见，以涂天下之耳目，是谓侮经。
王阳明
乐以天下，忧以天下，然而不王者，未之有也。
孟子
在数学中最令我欣喜的，是那些能够被证明的东西。
罗素
The best way to predict the future is to create it.
预测未来的最好方法就是创造未来。
理查德·巴罗斯
The only way out is through.
唯一的出路就是穿过。
克莱尔·吉根
整个巴黎是属于我的，而我属于这本笔记本和这支铅笔。
海明威
每一种爱情必有它精神的本质，一种本质鲜花怒放，另一种本质就枯萎了。肉体之爱不需要互相尊重的爱情不能贬低为单纯的享乐。
罗曼·罗兰
如果人们都能以同情、慈善，以人道的行径来剔除祸根，则人生的灾患便可消灭过半。
爱迪生
就是神，在爱情中也难保持聪明。
培根
苦乐全凭自已判断，这和客观环境并不一定有直接关系，正如一个不爱珠宝的女人，即使置身在极其重视虚荣的环境，也无伤她的`自尊。拥有万卷书的穷书生，并不想去和百万富翁交换钻石或股票。满足于田园生活的人也并不艳羡任何学者的荣誉头衔，或*厚禄。
史铁生
漫长的光阴里，你不会只走过一个人的生命，也不会只有一个人走过你的生命。缘来时，猝不及防；缘去时，无力阻止。唯一能做的就是，遇见是，紧握手中珍惜；离别后，深藏心底铭记。
桐华
我可以活着的剩下的时间，永远不会是我实际活过的时间的一半。
罗兰·巴特
一般来说，青年人富于“直觉”，而老年人则长于“深思”。
培根
主人不相识，偶坐为林泉。莫谩愁沽酒，囊中自有钱。
贺知章
所有形式的勇气，不管是在男人身上还是女人身上，都应该像体魄上的勇气在战士身上一样，得到颂扬。
罗素
在改变自己的过程中，你会遇到更好的自己。
央视金句