模型检查是验证有限状态并发系统正确性的强大技术。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
经济学家要顶住互联网压力。
厉以宁
其实人生的聚散本来在乎一念之间，不要说是活着分离，其实连死也不能隔绝彼此的爱，死只是进入另一层次的生活，如果这么想，聚散无常也是自然的现象，实在不需太过悲伤。
三毛
The knowledge of the universe is within us.
宇宙的知识就在我们体内。
毕达哥拉斯
人生有那么一首诗，往往在你拥有它的时候，你没有读懂它，可当你读懂它的时候，它又离你远去了，这首诗就是青春。
撒贝宁
学生的责任感不是教师教给的，是在班级管理工作中天长地久、不断实践的过程中积累起来的。
魏书生
最好的故事是那些让你感觉你属于的故事。
"The best stories are the ones that make you feel like you belong."
贾森·雷诺兹
人家说女人是半个男人，这话是不错的。因为结婚的男人只剩下半个男人了。
罗曼·罗兰
何谓机会成本（opportunity cost）？当你做一个选择时，你没有选择的东西就是经济学家所谓的“机会成本”。例如，你若想雇人打扫你的房子，假设每次打扫要花150美元，每个月打扫两次，你可以说打扫房子一年要花3600美元，或打扫房子所花的钱相当于在海边度假一周。真正的成本不是你已经花的钱，而是你放弃的东西。所有成本都是机会成本。
蒂莫西·泰勒
绚烂夏花是一种态度，秋叶静美是一份力量。若嫌孤叶单薄寂寥，渐回身，那漫山连天的血色，便是用生命为你涂写的整个季节。
撒贝宁
在钱学森一生17个对他影响深远的人物中，8个是中小学教师。
钱学森
一切疏忽都经过深思熟虑，一切邂逅都是事先预定，一切屈辱都是惩罚，一切失败都是神秘的胜利，一切死亡都是自尽。
博尔赫斯
水是喧哗的，深水是沉默的。
雪莱
我们都是自己记忆的囚徒。
We are all prisoners of our own memories.
安东尼奥·洛博·安图内斯
别人都有自己的想法与做法，努力去找出背后的原因，你就会拥有一把了解他的行为甚至个性的钥匙。
卡耐基
每个人生下来都要从事某项事业，每一个活在地还应上的人都有自己生活中的义务。
海明威
  我们同情别人生活不幸而自觉着幸福，我们评价着别人的是非长短而深觉着自己又高尚又美好。
王安忆
皮夹的背面沾着某只可爱动物的血。它虽然触手柔滑熟韧，却不免藏着一声凄厉的哀鸣。
张晓风
对往日良辰只付之一叹，借纷纷情景把心事清除。
拜伦
我希望，每一个时刻，都象彩色蜡笔那样美丽。我希望，能在心爱的白纸上画画，画出笨拙的自由，画下一只永远不会，流泪的眼睛。一片天空，一片属于天空的羽毛和树叶，一个淡绿的夜晚和苹果。我想画下早晨，画下露水，所能看见的微笑。画下所有最年轻的，没有痛苦的爱情。
顾城