"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
"The only thing to do with good advice is to pass it on. It is never of any use to oneself."
对待好建议的唯一方法就是传递它。它对自己从来没有任何用处。
埃里克·维亚尔
富中之甿，货殖之选，乘时射利，财丰巨万。
译文：富庶之地的百姓，善于经商，抓住时机谋利，财富积累到巨万。
左思
眼界要阔。遍历名山大川。度量要宏。熟读五经诸史。
金兰生
商法的核心是保障交易安全，促进交易效率。
王利明
阿拉伯人用一句话来形容清晰明了的散文：没有清晰的理解，就写不出清晰的文章。
塔勒布
雄辩是一幅思想的绘画；因而那些画完之后再舔笔的人，就是在写意而不是在写真了。
布莱士·帕斯卡
在日复一日灰色的生活中，我们深感现实的乏味与狭小，渴望把自己的生命个体以几何级数复制无数份，像雾气般充满整个宇宙，亲自感受无数个其它世界的神秘与精彩，在另一些时间和另一些空间中经历体验无数种不同的人生。
刘慈欣
The human mind is a complex and fascinating subject, and understanding it requires both scientific rigor and a touch of creativity.
人类的心灵是一个复杂而迷人的主题，理解它既需要科学的严谨性，也需要一点创造力。
斯科特·普劳斯
眼睛是什么也看不见的，一定要用心去看。
But the eyes are blind. One must look with the heart.
E・B・怀特
思维总是喜欢分类和作比较。
埃克哈特·托利
人生有两种快乐，一是没有得到想要的东西，于是你可以去寻求和创造；另一是得到了想要的东西，于是你可以去品味和体验。
周国平
一般人依靠他们的弱点，比聪明人依靠他们的优点佔到更多便宜。举个例来说：一个大人物和命运挣扎，大家都会袖手旁观；可是快要破产的杂货商却有人争着垫本。你知道为什么吗？因为你庇护一个傻瓜，你会觉得自己了不起；可是一个天才之下，你就会不高兴。
巴尔扎克
主流贸易理论忽略结构异质性，发展中国家的贸易优势仍由要素禀赋决定。
林毅夫
北平已是下过了雨的云，没有作用的飘浮着；它只能希望别处的云会下好雨。
老舍
衰老是从眼睛开始的。
雨果
The most important thing is to create a space that people want to be in.
最重要的是创造一个人们想要置身其中的空间。
理查德·迈耶
The world is full of obvious things which nobody by any chance ever observes.
世界上充满了显而易见的事情，但没有人注意到。
迈克尔·哈内克
对谁也别期望过高，正像瘸子不肯把拐杖借给你那样。
冯骥才
心中无限伤心事，付与黄鹂叫几声。
兰陵笑笑生