"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
打官司是出了名的费时、费力、低效、以及难料结果。
查理·芒格
一个人越能调整自己，就越能改善世界！
张德芬
 中国是一只睡狮，一旦它醒来，整个世界都会为之颤抖。它在沉睡着，谢谢上帝，让它睡下去吧。
拿破仑
师父，你得不到心爱的人，就将她杀死。我得不到心爱的人，却不忍心让他给人杀了。
金庸
喜欢的歌，静静地听，喜欢的人，远远地看！
饶雪漫
有时候觉得你就像一颗好看的糖果，咬一口发现居然还是夹心的。
林徽因
只是人终不忍承认，那些当年风华绝代的往事，会陨落成庸庸碌碌的如今，无论此人那眉眼是何等熟悉，他不能是李相夷。
藤萍
安静是一种很有力量的氛围。正如一只装满液体的瓶子，摇晃过后，一旦安放在桌子上就会出现沉淀物。
斯蒂芬·茨威格
The greatest discovery is that human beings can alter their lives by altering the attitudes of their minds.
最伟大的发现是人类可以通过改变心态来改变生活。
克拉克·穆斯塔卡斯
The best architecture is that which disappears, leaving only the experience.
最好的建筑是那种消失的建筑，只留下体验。
拉斐尔·莫内欧
All things in their being are good for something.
天生我才必有用。
苏格拉底
Love is not about possession, it's about appreciation.
爱不是占有，而是欣赏。
亚瑟小子
系春情外柳丝长，隔花人远天涯近。
吴承恩
正是因为追求利润使我们成为利他主义者，因为我们的服务扩展到了远远超出熟人范围的那些人身上。
哈耶克
人一定要找到自己的位置。她对她的女儿说，不管你考不考得上大学，不要紧，如果你想开店，我就给你启动资本，千万不要做一个无所事事的人。
李玫瑾
这个世界，那个世界都是一样的，你能够做什么，适合做什么，其实是全看你自己的努力罢了。
猫腻
这个世界正在你背后悄悄谋划着去让你成功。接受这种设定，就会更容易做到。
凯文·凯利
她的相貌宛如韦罗内塞的一幅肖像画，那黄灿灿的金发仿佛给她的肌肤着了色：华贵的肌肤白里透红，覆盖着纤细的寒毛，仿佛罩了一层淡淡的丝绒，只有在阳光的爱抚下才能依稀分辨。一对明眸呈深蓝色，就像荷兰制造的小瓷人的眼睛那样。
莫泊桑
你的时间有限，所以别把它浪费在模仿别人这种事上。
史蒂夫·乔布斯