形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
我们的真实需要被资本主义产业仔细地从我们身上屏蔽掉了，结果我们忘记了我们真正需要的，而满足于追逐对那些对我们真正福祉毫无兴趣的公司为我们制造的东西。虽然我们认为生活在一个充裕的世界，但真正让生活更好的东西—温柔体贴、通情达理、平和沉静、深刻洞察—它们的供应却极其短缺，和经济毫不相干。
西奥多·阿多诺
善良一点，因为每个人都在与人生苦战。
R.J.帕拉西奥
不属于你世界的花，开着，终于也会凋谢，或因耗尽精力，或因水土不合，离开不属于它的世界，有心有力却又无效。
阿来
要有一种教育，养成远见，能超越你未见。我们要想办法设想我们没见到的世界还有可能是什么样，扩展这种可能性。
许倬云
我的幸福就在于每看到一眼泉水我都感到口渴。
安德烈·纪德
江浦雷声喧昨夜，春城而色动微寒。
杜甫
如果你已养成耐性，请相信你已干了许多事情。
歌德
快乐就是完成使命，完成理想，就是由无到有地创造，从这一站到下一站的旅程。快乐也就是积极的生活。
刘墉
世界上最好的教育就是观察大师们的工作。
The greatest education in the world is watching the masters at work.
珍妮·杰克逊
他这几年的心血全用来创造这个幻想，不停地为它添砖加瓦，将他遇到的一切美好东西都用来修饰它。再似火的热情，再漂亮的外表，也比不上为情所困的心堆积起来的幻想。
菲茨杰拉德
我在确定公司价值方面投入了大量的精力，如果你也这样作了，那么风险对你来说就没有什么意义。你不会在有较大风险的地方投资，而你所投资的股票由于其内在价值也不具有风险。
巴菲特
成功没有捷径。你必须把卓越转变成你⾝上的⼀个特质。最⼤限度地发挥你的天赋、才能、技巧，把其他所有⼈甩在你后⾯。⾼标准严格⾃⼰，把注意⼒集中在那些将会改变⼀切的细节上。变得卓越并不艰难——从现在开始尽⾃⼰最⼤能⼒去做——你会发现⽣活将给你惊⼈的回报。
史蒂夫·乔布斯
事情是件好事，但是要慎重，心急不得。而且像这样的事，必须会遭同行的嫉妒，因此说话也要留意。
胡雪岩
臭不要脸的，滚犊子！咋这么犟呢，去一边子去，跟你有一毛钱关系么？闭上你那肥厚的大嘴唇子吧，还想怎么样啊？我养你老得了呗。我该你的啊？你是我爹啊！你瞅你那损色！
宋小宝
人的关系就是一个人的能量来源，高手的世界，人际关系的传输是能量。
梁宁
发现你是谁，而不是别人希望你成为什么样的人。
桑迪普·马赫什瓦里
爱情中的欢乐和痛苦是交替出现的。
拜伦
去向一个女人所爱的男人挑衅，是不会赢得这个女人好感的。
大仲马
头脑不好有两类，一类人，头脑不可能好，因为他们被教条困住了，动辄马克思，动辄鲁迅。另外一批是提出：美国那么繁荣，为什么不走他们的路线？
李敖