"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
世界上什么事都可以发生，就是不会发生不劳而获的事，那些随波逐流、墨守成规的人，我不屑一顾。
约翰·洛克菲勒
不要靠馈赠来获得一个朋友。
苏格拉底
与所爱的人长期相处的秘诀是：放下改变对象的念头。
黑格尔
到一个新的地方旅行，必须有人带领，才能使自己也融入其中的`风景。不管去过多少国家，绕了地球几圈，我们都很难体会地球到底有多大。不过，若能结识好友，眼前的风景就会变得广大而深奥。
星野道夫
一切都毫无办法。对于一个普通人来说，只好听命于生活的裁决。这不是宿命，而是无法超越客观条件。在这个世界上，不是所有合理的和美好的都能按照自己的愿望存在或者实现。
路遥
法律可以揭露罪恶，却不能消除罪恶。
弥尔顿
露脸和现眼只差一步。
拿破仑
爱国的主要方法，就是要爱自己所从事的事业。
谢觉哉
肠断人琴感未消，此心久已寄云峤。年来更识荒寒味，写到湖山总寂寥。
陆小曼
多元化是 “教训”，要坚持专业化，向住宅产业集中。
王石
我不会质疑过去，而是从过去中学习，为未来做决定。我允许自己犯错，因为任何人都会做出很多愚蠢的决定。在我的生活中，我确实有过很多愚蠢的决定，只是不像大多数人那么多罢了。
查理·芒格
我亦本萧散，至此更怡然。
曾巩
未来是我的!
尼古拉·特斯拉
I'm not afraid of storms, for I'm learning how to sail my ship.
我不害怕风暴，因为我正在学习如何驾驶我的船。
史蒂薇·妮克丝
不知常，妄作凶。
曾仕强
越是往后反省，越看得清前方。
丘吉尔
我的商业模式就像是披头士乐队：他们四个人能够抑制彼此的消极作用。他们可以相互平衡，所以他们在一起的价值要超过四个人相加的综合。这就是我对商业的看法：商业上杰出的东西不是由一个人来完成的，而是一个团队努力的结果。
史蒂夫·乔布斯
凡不是就着泪水吃过面包的人是不懂得人生之味的人。
歌德
罪不在我，但是感情总不能自己。
王小波