"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
人类的全部智慧都包含在这两个词中：等待和希望。
大仲马
真正的纪律来自于内心的自律，而不是外部的强制。
孙瑞雪
在我眼里，只有漫无边际的泥沼。
村上春树
如果我们不能相爱，至少我们可以相容；如果我们不能互相谅解，至少我们可以互相理解。
张晓风
没有势能的产品，是卖不出去的。就算能卖几件，其实卖的不是产品，是人情。
刘润
祖国荣誉高于一切。
孙颖莎
不应该因为现实的不满意，就迁怒于那亘古的梦想，说它本来没有。
史铁生
如果你想改变让孩子感到困扰的状况，或是你知道有一个很麻烦的新状况可能出现，你可以停下来想象如果你是孩子，那种状况是什么样子；你也可以想象，如果孩子知道那是什么感受，能够说出来，也知道怎么做会有帮助时，他会如何表达。
菲利帕·佩里
也许宇宙间最反直觉的真理是：你给予的越多，你得到的就越多。理解这一点，是智慧的开端。
凯文·凯利
权力高于你尽全力扞卫的权利。
韩寒
当你在生活中找知心朋友困难的时候，你会突然发现另外的途径，就是写作，你会发现你笔下的人物都是朋友，写作就是交朋友的过程。
刘震云
问：弗洛姆认为，（爱是一种能力可没有机缘的话又何该能力呢？怎样才能遇见那个“对”的人？答：弗洛姆的话是有道理的。爱一个人虽然是需要幸运的，即需要与那个“对”的人的偶遇，但是会不会爱，懂不懂爱。能不能爱是一个人能够最终得到爱的关键。如果你根本不知道爱是什么，就不会去爱上一个人；如果没有爱的能力，那就不会遇上爱，找到爱；如果不会去爱，也就不会被爱。即使那个“对”的人出现了你也不会认出他来，只会与他失之交臂。
王小波
志向有多远大， 前路就有多宽广。你怀揣炽热梦想， 与时代同行， 让奋斗青春与家国情怀共鸣， 定能绽放光彩， 为国家进步贡献力量。
钱学森
我学会了如何生活……如何在这个世界上生活，而不仅仅是站在一旁观看。
I have learnt how to live... how to be in the world and of the world, and not just to stand aside and watch.
奥黛丽·赫本
写作是一种生存方式。
Writing is a way of survival.
凯尔泰斯·伊姆雷
城市从不沉睡，它的黑暗也是如此。
"The city never sleeps, and neither does its darkness."
伊恩·兰金
为一件过失辩解，往往使这过失显得格外重大，正像用布块缝补一处小小的破孔，反而欲盖弥彰一样。
莎士比亚
如果我们将逆境看做是不公平的，那么这种逆境就会增加十倍。
卡伦·霍妮
天才是各个时代都有的；可是，除非待有非常的事变发生，激动群众，使有天才的人出现，否则赋有天才的人就会僵化。
德尼·狄德罗