"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
村庄的温情不会外泄，想体会它的美丽，你不能匆匆走过。
安托万·德·圣-埃克苏佩里
你知道什么最可怕，就是害怕。
韩寒
内既坚实，则外界之九千九百九十九种恶口，当亦如秋风一吹，青蝇绝响。
鲁迅
绝大多数人在会游泳之前都不愿意游泳！人是为大地而降生的，不是为水而降生的。他们当然也不愿意思考，因为他们是为生活而诞生的，不是为思考而诞生的！
赫尔曼·黑塞
我想我和巴菲特从一些好的商业杂志中得到的比从其它地方多，阅读每一期各类的企业报道，便能轻松且快速地获得各种企业经验，而且如果你能养成一种思考习惯，将所读到的内容与这些想法的基本架构结合在一起，你可以逐渐累积一些投资智慧。在这浩瀚领域中，若没下过扎实的阅读工夫，我不认为你可以成为真正优秀的投资人，而我也不认为有哪一本书可以为你做到这一些。优秀的书籍能启迪你的理解，凝练你的智慧，是网上的浏览所无法企及的。
查理·芒格
矛盾即是运动，事物的矛盾法则，即对立统一的法则，是唯物辩证法的最根本的法则。
毛泽东
商业变现手段越来越丰富，商业变现证明也越来越重要，今天的投资人要很早就看到商业逻辑/靠谱的大生意的苗头，才会热衷下注。
张颖
对于决策所需要的信息，无论它们看上去是多么细枝末节的小事，你们都一定要调查研究，确认每一条信息。不要遗留任何没有经过调查核实的问题，产生模棱两可的焦躁感。
吉姆·罗杰斯
既得有所“放下”，又得有所“执着”。放下占有的欲望，执着于行走的努力。
史铁生
没有一种绝对统一的道德标准适用于所有人。不同的人由于天性和生活的环境不同，会形成不同的道德观念和道德行为准则。
普罗泰戈拉
人作为有欲望的动物，受多种情欲的支配，欲望很容易摆脱理性和良知的束缚而无限膨胀。
孟德斯鸠
指薪修祜，永绥吉劭。
周兴嗣
你不能让成功冲昏头脑，也不能让失败伤透心。
You can’t let success get to your head and failure to your heart.
德雷克
The Langlands correspondence is not just a theorem but a guiding principle for future discoveries.
朗兰兹对应不仅仅是一个定理，而是未来发现的指导原则。
罗伯特·朗兰兹
中年妇女的那种深深吸烟的神态，足见世道艰难。
木心
一无所有只能换来一无所有。
Nothing will come of nothing.
莎士比亚
The more I think about language, the more it amazes me that people ever understand each other at all.
我越是思考语言，就越惊讶于人们竟然能够相互理解。
库尔特·哥德尔
独自一人的旅途，虽有些许寂寞与孤独，却也让人学会沉淀与自省。
叔本华
原来所有的东西都有个限量，早早透支，结果未必理想。
安逸