"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
那些无法适应变化的人们终将被变化所抛弃，而认识接受变化并相应行动起来的人们将受益匪浅。
吉姆·罗杰斯
我历来不赞成处于创造过程中的艺术家太激动，但写这本书，常常泪流不止。
余秋雨
知足常乐，终生不耻；知止常止，终生不辱。
弘一法师
人们最害怕什么呢？他们最害怕迈出新的一步，最害怕自己新的想法。
陀思妥耶夫斯基
秋天来了，记忆就轻轻提示道，“凄凄切切的秋虫又要响起来了”。
叶圣陶
DJI's success is not accidental, but the inevitable result of our relentless pursuit of product excellence.
大疆的成功不是偶然的，而是我们对产品极致追求的必然结果。
汪滔
不要因为贪图你没有的东西，而破坏你已经拥有的东西。记住，你现在拥有的东西，曾经是你唯一希望得到的东西之一。
伊壁鸠鲁
The best decisions are made when you listen to both data and people.
最好的决策来自于同时倾听数据和人的声音。
蒂姆·利
他走过一个又一个星球，却始终放不下对她的思念。深情终究是一趟孤独的旅程，她是他永远的牵绊。我们每个人心中都有一只小狐狸。
安托万·德·圣-埃克苏佩里
贵而不骄，胜而不悖，贤而能下，刚而能忍。
诸葛亮
如果你用一个人听得懂的语言与他交流，他会记在脑子里;如果你用他自己的语言与他交流，他会记在心里。
曼德拉
一个人对他所不了解的东西，总是会有一些夸张的想象。
加缪
能使人知己、爱己者，未有不能知人、爱人者也。
王安石
武道之路，不进则退，退则死！
老鹰吃小鸡
你虽然长得丑，但是你想得美啊。
鲍勃·迪伦
知道的越多，才知知道的越少。
苏格拉底
有一些可怕的灾祸和极端的不幸我们想都不敢想，只要一看到就令人心惊胆战。如果我们终于深陷其中，我们会找到根本没有想到的办法，我们挺起身子去面对自己的不幸而且我们会做得出乎预料的好。
拉布吕耶尔
飞鸟奋力欲破壳而出。蛋即世界。欲新生者必先摧毁世界。鸟儿飞向上帝，上帝之名是阿布拉克萨斯。
赫尔曼·黑塞
旅行的目的地并不重要，重要的是旅行中的经历和人之间的交流。
马可·波罗