"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
模型检查是验证有限状态并发系统正确性的强大技术。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
你不是岩石,但绵密的雨点已然滴穿了你,最后使你片片寸裂,完全粉碎。
尼采
那不能杀死我的，使我更坚强。
尼采
太阳啊！火一样烧着的太阳！烘干了小草尖头底露水，可烘得干游子底冷泪盈眶？
闻一多
活着就是要承受苦难，但也要在苦难中寻找快乐。
余华
劳动才能给人以安乐。
朗费罗
建筑不是关于形式，而是关于愿景。
汉斯·霍莱因
所有通过捷径所获取的快乐，无论是金钱、性还是名望，最终都会给自己带来痛苦。人其实很难抵制诱惑，人只能远离诱惑，所以千万不要高看自己的定力。
罗翔
世界是一个谜题，碎片散落在各处。
The world is a puzzle, and the pieces are scattered everywhere.
萨拉马戈
通往地狱的路，都是由善意铺就的。
哈耶克
I don't feel like I have to be a part of the celebrity circus.
我不觉得我必须成为名人马戏团的一部分。
丹尼尔·戴-刘易斯
当你深陷绯闻和流言中时，才会知道谁是真正的朋友。
伊丽莎白·泰勒
你是个独立的人，无人能抹杀你的独立性，除非你向世俗妥协。
余光中
我们生命的每一阶段都各有特色；因此，童年的稚弱、青年的激情、中年的稳健、老年的睿智都有某种自然优势，人们应当适合时宜地享用这种优势。
西塞罗
化妆品对女人而言，是信心；对男人而言，是幻觉。
朱德庸
他（奥雷里亚诺上校）下令不许他们打扰，坚称自己不是他们所说的什么开国元勋，而只是个没有回忆的手工匠，剩下的唯一梦想就是被人遗忘，清贫度日，制作小金鱼劳累而死。
加西亚·马尔克斯
不是每句“对不起”都能换来“没关系”，但是每句“你大爷”都能换来“你大爷”。
大张伟
很多复杂问题是更高维度简单问题的投影，比如说打篮球动作变形、速度慢、配合差是很多时候体力不行；写程序烂、bug多、时间长是抽象分解问题做的不好；还有比如海军说的“很多管理问题都是假象，本质是能力问题”。而解决这些本质问题需要更大代价和决心的。
张一鸣
La literatura es una forma de resistencia, una manera de decir no a la muerte y al olvido.
文学是一种抵抗的形式，一种对死亡和遗忘说不的方式。
费尔南多·德尔·帕索
我们之间的东西是迷恋，而迷恋存在于我们的相似之处。无论你是男人还是女人，魅力在于发现我们是相似的。
玛格丽特·杜拉斯