"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
模型检查是验证有限状态并发系统正确性的强大技术。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
The most exciting phrase to hear in science, the one that heralds new discoveries, is not 'Eureka!' but 'That's funny...'
科学中最令人兴奋的短语，预示着新发现的，不是“我找到了！”而是“这很有趣...”
乔治·帕里西
别把犯贱当真爱。一个人作践自己来取悦你的时候，千万不要因此感动。一个男人的烟头烫在他身上，下一个就可能烫在你身上。同样的，当这个女人的刀片割断她的手腕，下次就可能割断你的。
李开复
死亡并非一种始终存在的可能，而是一个迫近的现实。
加西亚·马尔克斯
她说，如果我能在发表一篇长篇小说，她就收心，戒掉恋爱，替我一辈子煎茶煮饭。
冯唐
我想我忍不下去了，我不能忍受我离你越来越远，也不能忍受你侮辱我的爱情。爱情是我心中绽放的一朵娇艳的花，我不容许它就这样枯萎。我所能忍受的屈辱已经达到了极限，我所有的希望和梦想都已经破裂。过去所发生的一切，都在嘲笑我的小心思是多么可笑。你忘了我吧，我看得出来，你已不再需要我。你去追寻你自己的幸福去吧，我也要去寻找我的……
蒲宁
最多有时有些美国人把我错当成日本姑娘，我便笑而不答，蓝的否认，于是他们便认为我是个捉摸不透的东方神秘女郎了。妈妈，你说好笑不好笑？在纽约最大的好处，便是渐渐忘却了自己的 身份。真的我已经觉得自己是个十足的纽约客了。老师告诉你，妈妈，现在全世界无论什么地方，除了纽约，我都未必住得惯了。
白先勇
When I look at the world I'm pessimistic, but when I look at people I am optimistic.
当我看着这个世界时，我是悲观的，但当我看着人们时，我是乐观的。
卡尔·罗杰斯
做一个惹人厌烦的人的秘诀就是告诉别人一切。
伏尔泰
我觉得这便是永远留在他心中的幻境，这幻境亮瞎了他的眼，真实的情景他便看不到了。
毛姆
诗人是个伪装者。他伪装得如此彻底，以至于假装成他真正感受到的痛苦。
O poeta é um fingidor. Finge tão completamente que chega a fingir que é dor a dor que deveras sente.
费尔南多·佩索阿
有些事情是不能告诉别人的，有些事情是不必告诉别人的，有些事情是根本没有办法告诉别人的，而且有些事情是，即使告诉了别人，你也会马上后悔的。
罗曼·罗兰
不需要，还乐此不疲。
蔡志忠
儿童第一步走向邪恶，大抵是由于他那本来善良的本性被人引入歧途的缘故。每个人潜意识里的都有那么几根感情支柱来自父母，如果断了未及时修复，等到坍塌的那一刻已经来不及了。 
卢梭
野外不在乎你是谁。它只在乎你是否能生存。
The wild doesn’t care who you are. It only cares if you can survive.
贝尔·格里尔斯
领导水平高低，不是我们能判断出来的。有时候，我们觉得领导水平不高，可能是因为我们没有看到全局。
李天田
如果青春的时光在闲散中度过，那么回忆岁月将是一场凄凉的悲剧。
佚名
生活中的许多烦恼源于盲目攀比，而忘了享受自己的生活。
卡耐基
在通往幸福的路上，我们都是追梦人，胸怀希望才能走出，飘如陌上尘，天地一沙鸥的感慨。
撒贝宁
怎么让孩子自己去比？怎么比，能比出孩子的信心？怎么比，能比出孩子的干劲？这才是我们做家长的应该研究的。
王金战