"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
模型检查是验证有限状态并发系统正确性的强大技术。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
I always believe that as long as you persist, you will definitely succeed.
我永远相信，只要坚持，就一定能成功。
王卫名人名言哲理格言警句语录 王卫
沟通的本质是 “把话说进对方心坎里”。阅读的终极目的：用新模型改造思维，而非堆砌知识。
郝培强名人名言哲理格言警句语录 郝培强
见识过了，才让我明白那不是最重要的，尤其对我而言。
陈其钢名人名言哲理格言警句语录 陈其钢
It is not the young people that degenerate,they are not spoiled till those of mature age are already sunk into corruption.
年轻人并不堕落；他们只有在成年人已经堕落时才会被宠坏。
亨利·乔治名人名言哲理格言警句语录 亨利·乔治
事实证明，袁盎的这个主意并不灵。晁错被杀以后，七国并未退兵，作为汉使的袁盎反倒被吴王扣了起来。袁盎给汉景帝出了诛杀晁错的主意后，被任命为“太常”（主管宗庙礼仪和教育的部长），出使吴国。袁盎满心以为吴王的目的既已达到，应该见好就收的。谁知道吴王的胃口已经吊起来了，根本不把袁盎和朝廷放在眼里，不但连面都不见，还丢下一句话：要么投降，要么去死。这下子袁盎可就哑巴吃黄连了。虽然后来他总算从吴营中逃了出来，却也从此背上了一个恶名：挑拨离间，公报私仇，谗言误国，冤杀功臣。
易中天名人名言哲理格言警句语录 易中天
幻想只是在境遇最不顺利的时候才最惬意地出现在脑际，当周围的一切都是喜气洋洋的时候，反而不那么饶有趣味了。 
卢梭名人名言哲理格言警句语录 卢梭
远离那些不靠谱的人和事，不要让他们消耗自己的精力和时间。
张颖名人名言哲理格言警句语录 张颖
Every effort is for a better future.
每一次的努力都是为了更好的未来。
王力宏名人名言哲理格言警句语录 王力宏
谦，尊而光，卑而不可逾，君子之终也。
释义：谦虚的人处在尊高之位，道德会更加光明，处在卑下之位，其德行人们也难以超越。只有君子才能够保持谦德至终。
伏羲名人名言哲理格言警句语录 伏羲
时间对善用者亲切。
叔本华名人名言哲理格言警句语录 叔本华
改变从一个人开始，但需要集体行动才能持久。
佚名名人名言哲理格言警句语录 佚名
The past is a foreign country; they do things differently there.
过去是一个异国他乡；他们做事的方式不同。
菲利普·亨舍名人名言哲理格言警句语录 菲利普·亨舍
时间属于现实，时光属于人生。
冯骥才名人名言哲理格言警句语录 冯骥才
我们要学会“恃强示弱，内刚外柔”。
任正非名人名言哲理格言警句语录 任正非
你以为最酸的感觉是吃醋吗？不是的，最酸溜溜的感觉是没权吃醋，根本就轮不到你吃醋，那就是最酸最酸的。
海子名人名言哲理格言警句语录 海子
做到头脑极度开放、极度透明，不要担心其他人的看法，使之成为障碍。
瑞·达利欧名人名言哲理格言警句语录 瑞·达利欧
根本上来说，我认为长远思考才能做到不可能的事情。积极主动地取悦客户，赢得他们的信任，这能从客户那里获得更多的业务。即使在新的商业领域也是如此。用长远的眼光来考虑，让客户和股东的利益保持一致。
2012年：贝索斯致股东信《长远思考才能做到不可能的事情》
杰夫·贝索斯名人名言哲理格言警句语录 杰夫·贝索斯
智慧生出三种果实：善于思想，善于说话，善于行动。
德谟克里特名人名言哲理格言警句语录 德谟克里特
从病人的角度看世界，从其他人的窗口看。准确的共情是有效治疗的三个基本特征之一，另外两个是无条件积极关注和真诚。
欧文·亚隆名人名言哲理格言警句语录 欧文·亚隆