形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
半壁见海日，空中闻天鸡。
李白
干精神工作的人而让自己守全从思想掉入梦想，必遭不幸！他自以为进得去便出随时出得来，并认为这两者之间没有什么区别，他想错了！
雨果
学着主宰自己的生活；即使孑然一身，也不算一个太坏的局面。不自怜、不自卑、不怨叹，一日一日来，一步一步走，那份柳暗花明的喜乐和必然的抵达，在于我们自己的修持
三毛
大风从东刮到西，从北刮到南，无视黑夜和黎明，你所说的曙光究竟是什么意思。
海子
Women's stories need to be told and retold.
女性的故事需要被讲述和重新讲述。
南希·斯佩罗
"The past is always tense, the future perfect."
过去总是紧张的，而未来是完美的。
吉姆·克雷斯
跟着人群走下去吧，就这样微笑的走到尽头。
席慕蓉
贤妇令夫贵，恶妇令夫败。
谚语
如果不终身学习，你们将不会取得很高的成就。光靠已有的知识，你们在生活中走不了多远。离开这里以后，你们还得继续学习，这样才能在生活中走得更远。
查理·芒格
有先于死亡的死，也有超出一个人生活界限的生。我们和虚无的真正分办界线，不是死亡，而是活动的停止。
斯蒂芬·茨威格
真相比小说还要不可思议。
马克吐温
人是社交动物，自己的幸福与否，在很大程度取决于与他人的关系。没有爱、没有友谊、没有群体的支持，谁能快乐得起来？
瓦尔·赫拉利
也许家不是一个地方，而只是一个不可挽回的条件。
詹姆斯·鲍德温
问题越困难，你的建议才越有价值。为人人避之不及的难题提供解决方案，才能竞争最小化、机会最大化。
苏世民
在大多数情况下，人们，甚至恶人，要比我们想象中的他们幼稚得多、天真得多。
陀思妥耶夫斯基
Data is a precious thing and will last longer than the systems themselves.
数据是宝贵的东西，它将比系统本身更持久。
蒂姆·伯纳斯-李
我常说，你永远不可能太努力工作。
"I always say you can never work too hard."
罗杰·费德勒
记忆是一种重建，而不是简单的回放。
佚名
读《史记》不仅是读历史，更是读人性。
王立群