"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
模型检查是验证有限状态并发系统正确性的强大技术。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
没有比漫无目的地徘徊更令人无法忍受的了。如果今天的你还没有任何目标，那么明天的清晨，你用什么理由把自己叫醒呢？
荷马
不要只说你读过书。要证明通过读书，你已经学会更好地思考，成为一个更有辨别力和思考力的人。书籍具有训练头脑的力量。它们非常有帮助，但如果一个人认为仅仅通过把书中的内容化为自己的一部分就能取得进步，那就十分错误了。
爱比克泰德
选择一个傻瓜都能经营的企业——因为迟早会有傻瓜来经营它。
Go for a business that any idiot can run – because sooner or later, any idiot probably is going to run it.
彼得·林奇
毛利是由整个生态链、价值链决定的。从纯粹商业角度来讲，我们一定要关注高毛利。
陆奇
乌龟能比兔子讲出更多道路上的情况。
纪伯伦
天赋是上帝赐予的，要谦卑；名声是别人给的，要感恩；自负是自己给的，要小心。
Talent is God-given. Be humble. Fame is man-given. Be grateful. Conceit is self-given. Be careful.
刘德华
昨夜西风凋碧树，独上西楼，忘进天涯路。
晏殊
Not to expose your true feelings to an adult seems to be instinctive from the age of seven or eight onwards.
乔治·奥威尔
把对自己的执著（self interest）变成对他人的关心（social interest）。
岸见一郎
我今日所做的事远比我往日所作所为更好，更好；我今日享受的安息远比我所知的一切更好，更好……
狄更斯
管理自己时用脑，管理别人时用心。
凯文·凯利
如果你看了很多书，千万别告诉别人，告诉别人别人就会不断考你。
马云
要亲还是结发妻。
谚语
随着舆论思考的，都是自己耳塞眼闭的人。
尼采
爱之中要有怜悯。如同你本来是海中的船，摇晃颠簸，朝不保夕。后来你成为海中倒映的云影，各不相关，又融为一体。它不再能摧毁你，你寂然地覆盖了它。在一个整体性的时间和空间的概念中，你们将不再分离。
安妮宝贝
这两种力量的邂逅，以及它们之间的对话，并不提出任何问题或答案。这是一场凶猛狂暴而又无法说清的对话。维持这一对话有赖于信仰。就像在黑暗之中挖掘洞穴，在现象之下挖掘洞穴。当这两条隧道相遇并且完全接合，伟大的图像就诞生了。
约翰·伯格
通过行动来验证你的思想。
Validate your thoughts through actions.
毕达哥拉斯
"You can't control everything, but you can control how you react to things."
你无法控制一切，但你可以控制自己对事情的反应。
马克斯·维斯塔潘
Each setback or adverse mutation is a seed with the same or greater.
爱默生