模型检查是验证有限状态并发系统正确性的强大技术。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
Every challenge is an opportunity in disguise.
每一次挑战都是伪装的机遇。
诺埃尔·怀特
我的作品，是我对这个世界最真挚的告白。
米开朗基罗
所有的婚姻，都是缔构于天上，进行于地上，完成于离开圣坛之后。
林语堂
凡是与虚伪相矛盾的东西都是极其重要而且有价值的。
高尔基
为什么要强调自我批判？我们倡导自我批判，但不提倡相互批评，因为批评不好把握适度，如果批判火药味很浓，就容易造成队伍之间的矛盾。而自己批判自己呢，人们不会自己下猛力，对自己都会手下留情。即使用鸡毛掸子轻轻打一下，也比不打好，多打几年，你就会百炼成钢了。
任正非
人往高处走，水往低处流。
谚语
To understand the universe, you must understand the language in which it is written, and that language is mathematics.
要理解宇宙，你必须理解它所用的语言，那就是数学。
安德烈·内维斯
其实我也不知道什么叫感动，只是心里一直翻腾着，有一点想哭，很难受，又很开心。
麦兜
巴黎的繁华是千万个高老头堆砌的坟墓。
巴尔扎克
The world is a puzzle, and we are the missing pieces.
世界是一个谜题，而我们是缺失的部分。
凯文·巴里
死亡不是失去了生命，而是走出了时间。
余华
理性人，指系统而有目的地尽最大努力实现其目标的人。
曼昆
The only thing worse than being talked about is not being talked about.
比被人议论更糟的是无人议论。
埃尔弗里德·耶利内克
要自杀的人，也会怕大海的汪洋，怕夏天死尸的易烂。但遇到澄静的清池，凉爽的秋夜，他往往也自杀了。
鲁迅
文明是创造耕种的人。
约翰·罗斯金
穷人往往将勤奋视为美德，却不知盲目吃苦会固化贫困的枷锁。
阿比吉特•班纳吉
尽管困难，但约束自己去做你知道是正确和重要的事情，是通往自豪、自尊和个人满足的大道。
Disciplining yourself to do what you know is right and important, although difficult, is the highroad to pride, self-esteem, and personal satisfaction.
撒切尔
一个不成熟的理想主义者会为理想悲壮地死去，而一个成熟的理想主义者则愿意为理想苟且地活着。
杰罗姆·大卫·塞林格
人类的共通性远大于差异性。
维吉尼亚·萨提亚