"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
模型检查是验证有限状态并发系统正确性的强大技术。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
凡可说的，皆无意义。凡有意义的，皆不得不以荒唐的语言传递其意义。
维特根斯坦
知识就像是天空中的星星，越多就越觉得自己渺小。
乔斯坦·贾德
一个人心里的秘密如果是绝不能对人说出来的，就会变成种痛苦，变成种压力。
古龙
他们说，天地是男神女神合造的。当时男神负责造天，女神负责造地。等他们各自分头完成了天地而打算合在一起的时候，可怕的事发生了；女神太勤快，她们把地造得太大，以至于跟天没办法合得起来了。但是，他们终于想到了一个好办法，他们把地折叠了起来，形成高山低谷，然后，大地才虚合起来了。
张晓风
任何贴着“必看”“必读”“必须试试”标签的东西，都要避开，尤其是流行的，更要避而远之。保持良好的教养，无论身处何方，无论对面是谁，这可以把你与他人永久区分开来，也可能会让你避开一些灾难。在任何地方，都要入乡问俗、入乡随俗。
吉姆·罗杰斯
人生就是一场经历，你撞了这个事情你不行，不知道自己喜不喜欢你先干了再说，你不喜欢还可以改。
雷军
因为气候智力精力趣味和观察力的差别，人和人之间是永远谈不到有什么平等的。因为不平等才应该把自然法则当作确定不变的规律。但我们能使不平等变得不易觉察，正像我们把不平等视为雨或狗熊等寻常之物一样。这里，文化教养是起主要作用的。
契诃夫
当生活像一首歌那样轻快流畅时，笑颜常开乃易事；而在一切事都不妙时仍能微笑的人，是真正的乐观。
佚名
解决棘手问题的最上乘方法是：静观其变，顺水推舟。
莫言
良好的性格贵于黄金黄金；前者是自然的天赋，后者是命运的赐予。
爱迪生
人们宁愿去关心一个蹩脚电影演员的吃喝拉撒和鸡毛蒜皮，而不愿了解一个普通人波涛汹涌的内心世界……
路遥
The incentives that shape the direction of economic activity are a function of the institutional framework.
塑造经济活动方向的激励是制度框架的函数。
道格拉斯·诺斯
避免与消极抱怨的人过多接触，他们的负面情绪会影响你。
埃里克·乔根森
神父，你知道我信任你！但是，任何人都有一些不能同别人谈的事。
艾捷尔·丽莲·伏尼契
爱可以治愈，也可以摧毁。
佚名
The stream of consciousness is a stream of solutions.
意识之流即解决方案之流。
塞巴斯蒂安·维特尔
兵家胜败真常事，卷甲重来未可知。
罗贯中
Every life is a novel waiting to be written.
每个人的生活都是一部等待被书写的小说。
爱德华·P·琼斯
我们要带上本子，发现什么问题，立刻记下来，回去再对照毛主席著作想一想，找出解决的办法，总结出经验。这就是说，白天要搞调查研究，晚上要“过电影”。
焦裕禄