"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
外国的风俗永远是有趣的，因为异国情调总是新奇的居多。新奇就有趣。不过若把异国情调生吞活剥地搬到自己家里来，身体力行，则新奇往往变成为桎梏，有趣往往变成为肉麻。基于这种道理，很有些人至今喝茶并不加白糖与牛奶。
梁实秋
The essence of oligarchical rule is not father-to-son inheritance, but the persistence of a certain world-view and a certain way of life, imposed by the dead upon the living. A ruling group is a ruling group so long as it can nominate its successors. The Party is not concerned with perpetuating its blood but with perpetuating itself. Who wields power is not important, provided that the hierarchical structure remains always the same.
乔治·奥威尔
秘书是走向管理者的通道，秘书就是管理者。管理最初级就是秘书。公司－％的例行工作是由秘书进行管理，秘书有处理例行问题的权力。华为公司有很多高层领导都是出自秘书。性别歧视是客观存在的，公司也没有做到同工同酬，这是受社会传统习惯势力影响，绝不是华为公司领导有意识的行为，大家都用工作业绩来证明自己的地位才是最重要的。同时也要去说明和克服习惯势力。
任正非
认识到你为了能够从他人的角度看待事物，你必须暂时悬置判断，只有设身处地，你才能合理评估另一个观点的价值。
瑞·达利欧
我理解耐心的重要性，知道伟大的事物需要时间来实现。
奥格·曼狄诺
我们从事娱乐行业，但我们也从事启迪行业。
We're in the business of entertainment, but we're also in the business of enlightenment.
U2乐队
为山者基于一篑之土，以成千丈之峭；凿井者起于三寸之坎，以就万仞之深。
刘子
清溪数点芙蓉雨，苹飙泛凉吟艗。
周密
只有紧凑干脆的情节才能抓住读者的注意力，以及探讨那些在人们眼中至为重要的东西——爱情、财富、荣誉和生命的重要意义。
毛姆
永远不要在安全问题上妥协 - 它是我们行业的基石。
Never compromise on safety - it's the cornerstone of our industry.
大卫·马丁
人世间的一切不平凡，最后都要回归平凡，都要用平凡生活来衡量其价值。伟大、精彩、成功都不算什么，只有把平凡生活真正过好，人生才是圆满。
周国平
虢国夫人承主恩，平明骑马入宫门。却嫌脂粉污颜色，淡扫峨眉朝至尊。
杜甫
已去之事不可留，已逝之情不可恋，能留能恋，就没有今天。
舒婷
我辈这两个字里，写着对世界的主场感和建设性。
罗振宇
若思吾之当哀而哀焉，是以哀为不得已，而聊相应酬，吾恐其有声而无泪，有泪而不生于心。
王夫之
科学家之间的合作是解决复杂问题的关键。
Collaboration between scientists is key to solving complex problems.
吉野彰
延迟行动是态度的自然杀手。没有什么比未完成的任务更令人疲惫。
威廉·詹姆斯
写什么呢？与其写一些空泛的议论，不如写一些亲身经历。所以，议论怎样推行新生活，怎样使国家强大起来，不如叙述曾经经历过的某一桩事情，不如抒写对于本乡本镇的感情。这些还只是限于个人方面。如果能够推广开来，把自己所熟悉的社会中某一方面的情形作为写作材料，那就更有意义了。
叶圣陶
忽又听见秦氏之丫鬟，名唤瑞珠，见秦氏死了，也触柱而亡。此事更为可罕，合族都称叹。
曹雪芹