形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
假如生命是无趣的，我怕有来生，假如生命是有趣的，今生已是满足的了。
冰心
伟大的哲学家是那些有勇气为自己思考的人。
The great philosophers are those who have the courage to think for themselves.
卡尔·雅斯贝尔斯
爱不是占有，而是给予自由。
雪莉·哈泽德
我宁愿犯错，也不愿什么都不做。
周杰伦
越学习，越发现自己的无知。
笛卡尔
我不会为任何人收敛我的光芒。
I’m not gonna dim my light for anybody.
蕾哈娜
害怕尴尬和丢脸的人，本质上就是自我意识太强，太过于在意别人对自己的评价，于是我们把自己固定在舒适圈内，不敢去尝试自己喜欢的新鲜事物，因为害怕，我们不敢跟喜欢的人表白，我们错过了很多能让自己有多发展的机会，希望大家大胆生活。你没那么多观众，过好自己的生活就好，不要一味的放大自己的错误，做到淡化自我意识，不在乎别人对自己的评价，不要觉得尴尬和丢脸，不要像风也不要像云，要做喜欢的你自己。
埃隆·马斯克
悟空抽出金箍棒，怕师父念咒语，没有立刻动手，暗中叫来众神，吩咐道：“这妖精三番两次来蒙骗我师父，这一次定要打死它。你们在半空中作证。”众神都在云端看着。悟空抡起金箍棒，一棒打死了妖精。
吴承恩
一套衣服，一顶帽子的式样时髦不时髦，对于一个人本来是没有什么相干的。
莎士比亚
天下之治乱，不在一姓之兴亡，而在万民之忧乐。
天下的治乱不在于一个王朝的兴亡，而在于百姓的忧乐。
黄宗羲
悲伤和抑郁不太一样，悲伤会流动，而抑郁会停滞。
格莱迪斯·麦克格雷
造出“吃一行，恨一行”这句话的人，其用心可能是劝勉大家安分守己，但是这句话也道出了无数人的无可奈何的心情。其实干一行应该爱一行才对。因为没有一行没有乐趣，至少一件工作之完满地完成便是无上乐趣。很多知道敬业的人不但自己满足于他的行当，而且教导他的子弟步武他的踪迹，被人称为“克绍箕裘”，其间没有丝毫恨意。
梁实秋
快乐是吞咽的，悲哀是咀嚼的；如果咀嚼快乐，会嚼出悲哀来。
木心
行谨则能坚其志，言谨则能崇其德。
胡宏
有人只知道赢过别人，却不知道输了自己。
李敖
他意识到，人生最大的敌人往往是我们自己。
老舍
幸福不是自由，而是给某个目标投全部的心智。
弗洛伊德
如果我不干，没有人可以赶绝我，没有人可以让我没办法干下去，如果真的不干这行的话那是我自己光荣的走出去。
张国荣
细节不是细节。它们成就了设计。
The details are not the details. They make the design.
露西·卡特