"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
要做大事就要对自己狠一点，增值服务和免费服务不要在同一业务上。用下载能凝结用户，在别的地方挣钱。你做到极致，对手就没什么机会了。
周鸿祎
中国建材在发展混合所有制的过程中，提炼出了混得适度、混得规范、混出效果的“十二字”混改方针；活力、利润、机制“三优先”的混改原则；规范运作、互利共赢、互相尊重、长期合作的“十六字”混改口诀以及一整套混改的基本做法。
宋志平
真正的挑战不仅仅是构建气候模型，而是解读它们告诉我们的信息。
The real challenge is not just building climate models, but interpreting what they tell us.
真锅淑郎
无产阶级没有什么可失去的除了他们的链条。他们有一切可以赢得的。
马克思
说话只要声音一低，你的声音就会有磁性，说话只要一慢，你就会有气质，你敢停顿，就能显示出你的权威。
稻盛和夫
侦探的头脑，应当像一面明镜，纤尘不染，照见事物的真相。
程小青
常常接触科幻小说的人往往看起来比实际年龄年轻，如果这事发生在你身上，请不要惊奇。
刘慈欣
国家是一个阶级压迫另一阶级的机器，是使人一切被支配的阶级受一个阶级控制的机器。
列宁
我不仅想成为最好的，我想成为有史以来最好的。
I don’t just want to be the best, I want to be the best ever.
诺瓦克·德约科维奇
高、硬，行动就像草一样自如而优雅，银灰色的头发长出耳下不少，几乎总是乱蓬蓬的，好像他刚在大风中长途航行，设法用手把它们拢整齐。
罗伯特·詹姆斯·沃勒
凡为教者必期于达到不须教。
叶圣陶
世事至棼也，然衡其究竟，每败于易而成于难。
世间的事情虽然纷繁复杂，但推究其根本，往往失败于容易而成功于艰难。
詹天佑
你的生死存亡掌握在消费者的手中。他们才是我们关注的对象。我们的工作就是对整个用户体验负责。如果表现不及格，那就是我们的错。错就一个字。
史蒂夫·乔布斯
宁溘死而流亡兮，恐祸殃之有再。
屈原
与他们对视那些超越语言的心动，也许就是隐藏在我们生命里的谜底，我们是人我们站在这里。只有这样当有一天，我们回首来时路和那个站在最绚烂的骄阳下，曾经青春的自己告别的时候，我们才可能说谢谢你再见。
央视金句
家的滋味和面包一样，每时每刻吃不行，但天天吃不上就会想念。
萨拉马戈
定位是什么？定住自己，守住位置。定就是定力，位就是位置，定住自己的位置。
刘sir
蚂蚁走的好，大象也搞不死他。
马云
回过头来看看那些成功的投资者，很明显，他们各不相同，甚至相互矛盾，但他们的路都通成功。你可以学习成功的投资者的经验，但不要盲目追随他们。因为你的个性，你的需要与别人不同。你可从成功和失败中吸取经验和教训，从中选择适合你本身、适合周围环境的东西。
罗伊·纽伯格