"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
模型检查是验证有限状态并发系统正确性的强大技术。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
中国文学从我看起来，可以分为两大类：（一）廊庙文学，这就是已经走进主人家中，非帮主人的忙，就得帮主人的闲；与这相对的是（二）山林文学。唐诗即有此二种。如果用现代话讲起来，是"在朝"和"下野"。后面这一种虽然暂时无忙可帮，无闲可帮，但身在山林，而"心存魏阙"。
鲁迅
生活好比旅行，理想是旅行的路线，失去了路线，只好停止前进。
雨果
如果将来智慧竟舍弃了我：——唉！它是喜欢逃遁的！——至少我的高傲还能够和我的疯狂继续同飞吧！
尼采
人若看清和明白自己的处境，就只能承担它。即使心里有一种畏惧，对着萧瑟落寞的，对黑暗与幽闭的畏惧，也要承担着它。回到自己的使命之中。有骨骼的哀伤，那等同于一种自我克制。我们无法判断猜测时间的广度和深度。分离的人，再不见面的人，对各自来说，就如同在这个世间已经消亡一样。音信全无。这是一种处境。
安妮宝贝
神经病就是既不肯听劝又不肯换个话题。
丘吉尔
“积极主动”是广泛优秀素质的基础。
张一鸣
「去他妈的，这事根本不值得费这么大工夫。」他跟莱文森说。最后，蒂姆·库克让他从低落的情绪中摆脱出来。库克跟乔布斯说，有人认为苹果将成为另一个微软，自满又傲慢。第二天，乔布斯转变了态度。「让我们把这个问题弄个水落石出。」他说。
沃尔特·艾萨克森
奋始怠终，修业之贼也；缓前急后，应事之贼也；躁心浮气，蓄德之贼也是；疾言厉色，处众之贼也。
吕坤
人只有在行动中才能找到自己。
Man finds himself only in action.
德尼·狄德罗
找到自己的竞争优势，并努力加强它。
巴菲特
北平的酱菜，妙在不太咸，同时又不太甜。粮食店的六必居，因为匾额是严嵩写的（三个大字确是写得好），格外地有号召力，多少人跑老远的路去买他的酱菜。我个人的经验是，盛名之下，其实难副。铁门也有一家酱园，名震遐迩，也没有什么特殊。倒是金鱼胡同市场对面的天义顺，离我家近，货色新鲜。
梁实秋
在衡量长期记忆、推理能力、注意力、解决问题能力以及所谓的流动智力（fluid intelligence）任务的一些测试中，运动爱好者比“沙发土豆”们的成绩好得多。
约翰·梅迪纳
拥有朋友的唯一方式是成为朋友。
The only way to have a friend is to be one.
瑞奇·马丁
中国本因旧之国，非新辟之国，其良法美俗，应保存者存留之，不能事事更张也。
章太炎
这世界上，谁不是罪犯呢？那些没有缘故就驱逐我的人，同样有罪！
玛丽·雪莱
有花皆刺眼，无月便攒眉，当场得无妒我；花归三寸管，月代五更灯，此事何可语人？
陈继儒
我只想知道我将在哪里死去，然后我永远不会去那里。
查理·芒格
Every lump of coal we mine keeps the lights on in someone's home.
我们开采的每一块煤都在为某个家庭点亮灯光。
罗伯特·E·默里
不能以输赢论英雄，只要我们持续努力，总会有突破的一天。
雷军