"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
The beauty of cinema lies in its ability to evoke emotions.
电影的美在于它能够唤起情感。
弗朗索瓦·奥宗
必须小心翼翼地培养人，就像园丁栽培心爱的果木一样。
斯大林
世界都湿了，星星亮得怕人，我收起伞，收起滴雨的云，世界转到零点，托住上帝的脚跟，你还没来，我还在等…… 
顾城
I don’t fear anyone, but I respect everyone.
我不惧怕任何人，但我尊重每一个人。
拉斐尔·纳达尔
不要说任何你不会直接对他们说的人，也不要在没有当面指责他们的情况下尝试别人。背地里说坏话的人显示出严重的诚信缺失，而且适得其反。它不会带来任何有益的改变，它会破坏你所说的人和整个环境。
瑞·达利欧
懂得感恩的人，运气总不会太差。
李嘉诚
才华是血汗的结晶。
张伯苓
心理学是科学，教学是艺术；科学永远不会直接从自身产生艺术。
Psychology is a science, and teaching is an art; and sciences never generate arts directly out of themselves.
库尔特·考夫卡
We must always be learning, because the field of computing is always evolving.
我们必须不断学习，因为计算领域总是在不断发展。
弗朗西丝·艾伦
穷人在选择食品时，主要考虑的并不是价格是否便宜，也不是有无营养价值，而是食品的口味怎么样。
阿比吉特•班纳吉
The best leaders are those most interested in surrounding themselves with assistants and associates smarter than they are.
最好的领导者是那些最热衷于让比自己更聪明的人围绕身边的人。
杰夫·谢弗
学习的唯一动力是好奇心。
爱因斯坦
客观不等于没有立场。新闻不应该站队（take side），但是必须站位（take a stand）。
彭增军
孩子之所以认为家庭环境舒适而安全，就是因为，在这里，父母愿意倾听他们的感受，并表现出理解、共情和支持。
菲利帕·佩里
和太强的人在一起，我会感觉不到自己的存在。交朋友不是让我们用眼睛去挑选那十全十美的，而是让我们用心去吸引那些志同道合的。
罗兰
When we protect marine ecosystems, we're ultimately protecting human livelihoods.
当我们保护海洋生态系统时，我们最终是在保护人类的生计。
艾玛·格林
最大的风险是不冒任何风险。
The biggest risk is not taking one.
比尔·格罗斯
有时两人会一直默默坐到傍晚，面对着面，彼此凝视，在静谧中相爱，并不比当初在癫狂中相爱减色。
加西亚·马尔克斯
知性和年龄有关，和阅历有关，和心态有关。
卡耐基