形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
非常重要的一点，要分清好工作与生活的边界。下班后不要跟同事们去吃吃喝喝，你会发现，当老板的从来不会这么干，所以他们才是老板。永远没必要跟老板去喝酒，尤其是两人单独。永远不要在商务午餐时饮酒。最后，还有很重要的一点，避免发生办公室恋情，因为这件事总是以个人和职业的悲剧而结束。
吉姆·罗杰斯
如果生活过于繁复，妨碍了这种求知，我们便欢欢喜喜地让生活简单。如果这种求知需要一辈子，我们便一辈子欢欢喜喜地走在求知之路上，不因为旅途艰辛漫长、看不到终点也似乎没有终点而着急、沮丧，这就是精进。
希阿荣博堪布
有些人纵然还没有死，也等于是个死人。也有些虽然真的死了，却永远是活着的，活在人们心里。
古龙
如果我们认真思考童年本身，这个世界上还有哪种生物比孩子更娇弱、更可怜、更受其周围一切的摆布吗？还有谁比一个孩子更需要别人的怜惜、照顾和关爱呢？孩子那看上去可爱乖巧的脸蛋儿和楚楚可怜的样子，不就是为了吸引每个人怜惜他的娇弱，让他们想帮助他吗？而看到一个难以管教、专横傲慢的孩子颐指气使地命令他身边的那些人，并冒失无礼地采用主人的口气对那些不管他他就会毁灭的人说话，还有什么事情比这更令人反感和有违常理的呢？
卢梭
文学作品要想给读者"深层关怀”，就要学会自我分析和自我批判，让每个人意识到自己的存在，用理性来监督自己。有这种监督机制的人更容易向"善"。
残雪
如果你继续去寻找幸福是由什么组成的，那你永远不会找到幸福。如果你一直在找人生的意义，你永远不会生活。
加缪
梅尔维尔:我喜欢一切下沉的人。任何一种鱼都可以浮近水面，而只有大鲸鱼才能下沉到五英里或更深的地方。
罗振宇
企业要像水一样，既能适应环境，又能改变环境。
张勇
我喜欢用「设身处地」的方式评量人与人之间的情感交流是否均衡？别人为我付出若干，若角色互换，我能否为他等量付出？我为他人付出如许，若易地而处，他人能否等同给予？这发自庶几可以将自己客观化以监测天秤两端的情感是否等量等质，借此提醒自己勿辜负他人情谊也不必「明月照沟渠」。
简媜
他们对视着，各自都很坚决。谁也没再说话，但心中却明白什么问题也没有解决，这只是“停战协议”。
威廉·戈尔丁
The ugly and ordinary is often more meaningful than the beautiful and extraordinary.
罗伯特·文丘里
金融全球化背景下，一国的金融政策必须考虑国际协调与合作。
陈雨露
在一个快速变化的世界中，学习和适应的能力是最终的竞争优势。
In a world of rapid change, the ability to learn and adapt is the ultimate competitive advantage.
理查德·豪伊特
已立志为君子，自当从事于学，凡学之不勤，必其志之尚未笃也。
王阳明
The elegance of a proof is as important as its correctness.
证明的优雅与其正确性同样重要。
希勒尔·弗斯滕伯格
一生的特权是成为真正的自己。
The privilege of a lifetime is to become who you truly are.
克拉克·穆斯塔卡斯
你要做一个不动声色的大人了。不准情绪化，不准偷偷想念，不准回头看。去过自己另外的生活。你要听话，不是所有的鱼都会生活在同一片海里。
村上春树
春风秋月不相待，倏忽朱颜变白头。
于谦
跨平台整合的核心，在于让用户在不同场景中感受到一致的品牌温度。
赵强