"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
能取胜的人，总是在说“必须”如何如何，“未来”如何如何。
乔丹·贝尔福特
The very nature of the stock market is to make fools of as many people as possible.
股票市场的本质是尽可能多地愚弄人。
约翰·内夫
阅读使人充实，谈论使人机敏，写作使人精确。
培根
最不可战胜的，并不是我们的遭遇，而是我们内心是否坚强。
毕淑敏
高楼只在斜阳里。春风淡荡人声喜。携客不嫌频。使君如酒醇。
吕本中
一个公民的政治自由是一种心境的平安状态。这种心境的平安状态是从人人都认为他本身是安全的这个看法产生的。要享有这种自由，就必须建立一种政府。在它的统治下一个公民不惧怕另一个公民。
孟德斯鸠
未来的云计算将像水电一样成为社会的基础设施，无处不在。
陈磊
可持续性不再是可选项；它是我们行业生存的必要条件。
Sustainability is no longer an option; it's a necessity for survival in our industry.
罗伯托·卡斯特罗·布兰科
清晰的愿景是任何成功企业的基础。
A clear vision is the foundation of any successful business.
阿曼达·布兰克
Education is what survives when what has been learned has been forgotten.
教育是在所学知识被遗忘后仍能留存的东西。
斯金纳
成功的投资是内在独立自主的结果。
巴菲特
慈悲筏，济人出相思海；恩爱梯，接人下离恨天。
陈继儒
长城和金字塔都是完全失败的超级工程，前者没能挡住北方骑马民族的入侵，后者也没能使其中的法老木乃伊复活，但时间使这些都无关紧要，只有凝结于其上的人类精神永远光彩照人！
刘慈欣
不 要让青少年有判断力。只要给他们汽车摩托车明星、刺激的音乐、流行的服饰，以及竞争意识就行了。剥夺青少年的思考力，根植他们服从指导者命令的服从心。让 他们对批判国家、社会和领袖抱着一种憎恶。让他们深信那是少数派和异端者的罪恶。让他们认为想法和大家不同的就是公敌。
阿道夫·希特勒
但无论发生了什么，她已经决定再也不属于别人了。
But whatever came, she had resolved never again to belong to another than herself.
凯特·萧邦
谦逊是伟大领导者的标志。
Humility is the mark of a great leader.
维基·霍鲁布
既然你已经成功了就不要说自己苦，你让人家现在还苦的人怎么办。
大张伟
我非常恣意的赢了，回应了那些挑战。得分王之类的头衔……它们听起来好像，嗯，我不在乎它们听起来怎样 — 对我来说，得分并不难。赢得得分王的头衔对我来说并不算是个挑战，因为我知道我可以。
I’m extremely willful to win, and I respond to challenges. Scoring titles and stuff like that… it sounds, well, I don’t care how it sounds – to me, scoring comes easy. It’s not a challenge to me to win the scoring title, because I know I can.
科比·布莱恩特
手里只有锤子的人看来，一切问题都是钉子。
查理·芒格