Model checking is a powerful tool for verifying the correctness of hardware and software systems.
模型检查是验证硬件和软件系统正确性的强大工具。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
一家真正伟大的公司必须要有一道“护城河”来保护投资获得很好的回报。但资本主义的“动力学”使得，任何能赚去高额回报的生意“城堡”，都会受到竞争者重复不断的攻击。因此，一道难以逾越的屏障才是企业获得持续成功的根本。
巴菲特
须用人世间的材料实行工作，才能使人理解；同时他又是自然的主宰，因为他使这种人世间的材料服从他的较高的意旨，并且为这较高的意旨服务。
歌德
尝告彼“学问是生活，生活是学问”，彼宜从实际上日用饮食求学问，非专恃书本也。
梁启超
你怕的越多，欺负你的人就越多，你什么都不怕了，反倒没人敢欺负你。你人太好，大家就来占你便宜，你横一点，反倒可能都来讨好你。
佚名
我们生活中的挑战是为了加强我们的信念。它们不是为了打倒我们。
The challenges in our lives are there to strengthen our convictions. They are not there to run us over.
尼克·胡哲
谁虚度年华，青春就会褪色，生命就会抛弃他们。
雨果
成功的秘诀？没有秘诀，只有努力和坚持。
The secret to success? There is no secret—just hard work and persistence.
艾伦·舒格
为了纠正一个错误投资而做的保护头寸，当平掉当初的错误头寸，却留下保护头寸，现在变成个更大的错误！所谓一码归一码，拎不清爽是要吃大亏的！不过，我也不得不承认，我无法克服太順带來的麻木感！
葛卫东
科学只能断言“是什么”，而不能断言“应当是什么”。
爱因斯坦
春梦随云散，飞花逐水流，寄言众儿女，何必觅闲愁。
曹雪芹
一切名誉、才智，一切精神上的成就，一切对杰出的追求，对人性的伟大和不朽的追求，统统不过是场愚蠢的游戏。
赫尔曼·黑塞
灯罩下的⼀只巨⼤的蝴蝶，被头顶的光吓得⼀惊，扑扑飞起，开始在夜晚的房间⾥盘旋。钢琴和⼩提琴的旋律依稀可闻，从楼下丝丝缕缕地升上来。
米兰·昆德拉
Acting is a way of living out one's insanity.
表演是一种活出自己疯狂的方式。
菲利普·塞默·霍夫曼
Nature is relentless and unchangeable, and it is indifferent as to whether its hidden reasons and actions are understandable to man or not.
自然是无情且不可改变的，它不在乎其隐藏的原因和行为是否能为人类所理解。
伽利略
大虫不吃伏肉。
谚语
人生最低的境界是平凡，其实是超凡脱俗，最高是返璞归真的平凡。
周国平
要想改变世界需先改变他自己。
Let him who would move the world first move himself.
苏格拉底
有所谓君子者，能不足补上，退处不顺上，治唐园，考菲履，共恤上令，弟长乡里，不夸言，不愧行，君子也。
晏子春秋
晏子
学基本的东西，做踏实的工作。要找自己能看懂的机会，不做自己看不懂的投资。然后要踏踏实实地去做大量实际的工作。
查理·芒格