模型检查是验证硬件和软件系统正确性的强大工具。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
I write to understand, to make sense of the world and my place in it.
我写作是为了理解，为了理解世界和我在其中的位置。
安妮·埃尔诺
有些人若是看不到结果、或确定无果、或认为结果不可控，断然不愿付出，他们反复探测是否有可能达成他们的期待，如果没有，会立即止损。还有一些人，全身心投入过程，他们当然也期待好的结果，但万一没有结果，只要过程愉快，他们也乐意接纳生命中的的奇妙体验。前者必定性格中有黄色，后者是红色。
乐嘉
勿感于时，勿伤于怀。勿耽美色，勿沉虚妄。从今，进取。
丰子恺
粉黛至则西施以加丽。
【释义】施上了粉黛，西施就会更加靓丽了。形容聪明的人如果通过学习，可以变得更聪明。【延伸】先天的资质再好，后天的努力，也更能添光加彩。天赋加努力，会让你走上人生巅峰。
葛洪
相对学习底子和习惯都比较落后的学生，家长压根儿就别给他定长远目标，只定短期目标，越低越好。
王金战
今日长缨在手，何时缚住苍龙？
毛泽东
小说是一面沿着大路行走的镜子。
"A novel is a mirror walking along a main road."
马蒂亚斯·埃纳尔
不论是任何坏事，假如你想发现那做坏事的人，第一就先得去发现谁能从那件坏事中取利。
大仲马
董事长该干啥？主要有三点：1、什么时候点做什么样的事情，这决定了公司的方向和战略；2、用什么样的人来干这件事情，寻找德才兼备的人不容易；3、怎么让人有动力愿意打仗，怎么样能够把事情做成。做好这个位置，最重要的是看人看事的眼光，是经验、阅历和胸怀。
雷军
只有伟大的人格，才有伟大的风格。
歌德
就像自由贸易可以同时使所有国家受益一样，贸易管制措施将同时降低所有国家的效率，降低人们的生活水平，却无法产生人们所希望的就业增加的结果。
托马斯·索维尔
好奇心是与生俱来的，但它很脆弱。太容易了，会无聊；太难了，会沮丧。
丹尼尔·T.威林厄姆
我们出身于贫困的农民家庭——永远也不要鄙薄我们的出身，他给我们带来的好处将一生受用不尽；但我们一定要从我们出身的局限中解脱出来，从意识上彻底背叛农民的狭隘性，追求更高的生活意义。
路遥
大凡家境不好而又受过相当教育的青年女子，总是把结婚当作仅有的一条体面的退路。尽管结婚并不一定会叫人幸福，但总算给她自己安排了一个最可靠的储藏室，日后可以不致挨冻受饿。
简·奥斯汀
勇者愤怒，抽刃向更强者；怯者愤怒，却抽刃向更弱者。不可救药的民族中，一定有许多英雄，专向孩子们瞪眼。这些孱头们。
鲁迅
Architecture is not just about form; it’s about the life that happens within it.
伊东丰雄
人生没有一桩幸福是不要付代价的，东边占了便宜，西边就得吃亏些。
傅雷
长时期地对行为进行密切观察，是我们对人格做出结论的唯一方法。
约翰·华生
除了非常聪明之外，别无他法。
There is no method but to be very intelligent.
T.S.艾略特