Model checking is a powerful tool for verifying the correctness of hardware and software systems.
模型检查是验证硬件和软件系统正确性的强大工具。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
The cinema is not a craft. It is an art. It does not mean teamwork. One is always alone on the set as before the blank page.
电影不是一门手艺。它是一种艺术。它并不意味着团队合作。在片场，一个人总是孤独的，就像面对一张白纸一样。
让-吕克·戈达尔
从长期来说，一只股票的回报率跟企业发展是环环相扣的，如果一家企业40年来的盈利一直是它资本的6%，那在长期持有40年后，你的年均收益率不会和6%有什么区别——即便你当初买的时候检的便宜货。如果该企业在20-30年间盈利都是资本的18%（芒格指的ROE），即便你当初出价过高，回报依然会令你满意！芒格这个判断得到过西格尔教授的数据支持，即便在1973年泡沫最高峰买入漂亮50股票的人，在20年后依然能超越市场，取得不错的回报。但，这并不成为“任何价位下都可以买入伟大公司”的理由。
查理·芒格
忠于自己和你的愿景。
Stay true to yourself and your vision.
亚瑟小子
非学无以广才，非志无以成学。
罗贯中
It is better to be a human being dissatisfied than a pig satisfied； better to be Socrates dissatisfied than a fool satisfied.
作一个不满足的人，胜过一只满足的猪；作一个不幸的苏格拉底，胜过作一个满足的痴人。
约翰·穆勒
大多数人并不真正想要自由，因为自由带来责任，而责任让人们感到恐惧。
弗洛伊德
“时间消逝，我们看似失去了一些什么，其实却是获得了一些什么，因为我们有了珍贵的记忆，若无时间这种东西，我们便将一无所有。”
马家辉
分别后，那东西还在一天天加深，就是爱。爱是有生命的，它自己会成长。
冯骥才
董事长该干啥？主要有三点：1、什么时候点做什么样的事情，这决定了公司的方向和战略；2、用什么样的人来干这件事情，寻找德才兼备的人不容易；3、怎么让人有动力愿意打仗，怎么样能够把事情做成。做好这个位置，最重要的是看人看事的眼光，是经验、阅历和胸怀。
雷军
别受你愚昧的责任感影响，而将黄金交托给其他人。
乔治·克拉森
风百无聊赖地翻动遗忘在钢琴上的乐谱，自鸣钟一下一下地测量着岑寂。
舒婷
自足是自由的前提。
芝诺
当你背单词的时候，达拉斯加的鳕鱼正跃出水面；当你算数学的时候，南太平洋的海鸥正掠过海岸；当你晚自习的时候，地球的极圈正五彩斑斓。但少年，梦要你亲自实现，世界你要亲自去看，未来可及拼尽全力。当你为未来付出踏踏实实努力的时候，那些你觉得看不到的人和遇不到的风景，都终将在你生命里出现。
董宇辉
生命是一桩太好的东西，好到你无论选取什么方式度过，都像是一种浪费。
张晓风
最终，我们都会成为故事。
In the end, we'll all become stories.
玛格丽特·阿特伍德
I'm a strong believer in karma.
我非常相信因果报应。
蕾哈娜
在太空，地球的美让人震撼，也更让人珍惜我们的家园。
杨利伟
我们从春跑到夏，从夏再跑到秋，兴安岭的坡谷长满了各种桦树，到了秋天，风从岭口吹来，钻进丛林，就像放出去的一支支响箭，我们就在一支支响箭里穿梭。
孙惠芬
The customer may not always be right, but they are always the customer.
顾客不一定总是对的，但他们永远是顾客。
理查德·伯蒂内特