Model checking is a powerful tool for verifying the correctness of hardware and software systems.
模型检查是验证硬件和软件系统正确性的强大工具。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
The most dangerous phrase in business is 'We've always done it this way.'
商业中最危险的一句话是"我们一直都是这样做的"。
简·史密斯
一个人能看到别人眼里的刺，就该看到自己眼里的梁木。
塞万提斯
Genius is one of the many forms of insanity.
天才是疯狂的诸多形式之一。
切萨雷·龙勃罗梭
‌黑暗和风暴终要过去，洁圣的光芒将永存人间。
殷夫
我们站立在高高的山巅，化身为一望无边的远景。
冯至
广其识则天下大。
曾国藩
学习在于改变介于刺激和反应之间的某些中介过程。
Learning consists in the modification of certain mediating processes which operate between the stimulus and the response.
爱德华·托尔曼
人间如果没有爱，太阳也会灭。
雨果
爱情就像一场重感冒，再强壮的人也不免要倒下。
施定柔
The first step in the art of cutting metals is to find a man who has the necessary skill and experience.
切割金属艺术的第一步是找到一个具备必要技能和经验的人。
弗里德里克·温斯洛·泰勒
爱自己，来自检视和修正。自己面对每件事的行为，如果能让自己更满意，更喜欢自己，就表示做对了，否则就做错了。
金惟纯
良知只是个是非之心。
王阳明
永远不要宠信最能谄媚你的人，而是要看重那些出于好意敢于让你不高兴的人。
路易十四
有句法律格言讲得好：“法律非为琐事而设”。要想求得内心的平安，切勿为小事烦恼。
卡耐基
说到政治，便要讲国家。国家的责任是设立政府，为人民谋幸福。政府这个东西，近来各国学者有的说是可以保护人民，代谋幸福，主张是应该有的。有的说是干涉人民的幸福，威权太大，应该把他减少，减少至于零便主张不应该有，而成无政府。这项学说在俄国顶发达，因为他们从前的专制政府过于暴虐，要打破他，便主张无政府。究竟政府在人类中是有没有用呢？在座诸君是主张改良人类来救国家的，自然不说政府是无用的。人民在国家之内，国家根基所以能稳固之理，便是在人民的文明进步，互相团结，拱卫国家。人民的文明进步在人民的自身本来可以做得到，不过有了政府，加以提倡和辅助的工夫，进步得更快。所以我们要社会的文明很高，人类进步得很快，政府不是无用的。如果有了良政府，社会的文明便有进步，便进步得很快。若是有了不良政府，社会的文明便进步得很慢，便没有进步。
——在广州全国青年联合会演说，1923年10月21日
孙中山
我想我总是不知道要如何去学会放弃，现在我知道。其实，有些是你根本就无法掌控的，不是你不去放弃，而是你根本就抓不住。
几米
面对我们的父母时，我们都像孩子。无论我们多大年纪，他们仍然是我们的一部分，我们不停地试图取悦他们，或者与他们对抗。
阿瑟·米勒
文学的作用是直面我们内心的黑暗，并找到克服它的方法。
The role of literature is to confront the darkness within us and to find a way to overcome it.
大江健三郎
每天差不多都是相同的重复。昨天和前天颠倒顺序，也没有任何不便。我不时想，这叫什么人生啊！但也没有因此感觉光阴虚度。我仅仅是感到惊讶，惊讶于昨天与前天毫无区别，惊讶于自己被编排入这样的人生，惊讶于自己留下的足迹甚至还未及认清，就在转瞬间被风吹走，变得无影无踪。《眠
村上春树