形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
要什么安度晚年的平淡日子，有的是经营未来的雄心壮志。
罗振宇
透过那扇窗，那被风吹起的窗帘，月光下我看清了你的脸，皎洁如月，清澈如泉。在远方，藏着我的思念与山峦背后的太阳相连，它们默默缠绵，相对无言。
韩红
上善若水。水善利万物而不争，处众人之所恶，故几于道。
老子
幸福是你感受到的，而不是你得到的。苏利·
普吕多姆
离婚了！（与一个无耻小人）家还在！儿子还在！这样的结果，对于一个女人来说，难道不是最好的吗？
池莉
真正的伟大不是表面的辉煌，而是普通的坚持。
罗翔
我宁愿让傻子逗我开心，也不要让精明的人惹我悲伤。
奥格·曼狄诺
问题不在于他学到的是什么样的知识，而在于他所学的知识要有用处。
卢梭
教育不是灌输，而是点燃火焰。
俞莉
写作使我拥有了两个人生，现实的和虚构的，它们的关系就像是健康和疾病，当一个强大起来时，另一个必然会衰落下去。
余华
对我而言，我总是尽量只和我欣赏的人共事。
杰夫·贝索斯
Coal mining built modern Britain, and we must respect that heritage even as we transition to cleaner energy sources.
煤炭开采造就了现代英国，即使我们向更清洁的能源过渡，也必须尊重这一传统。
彼得·惠特克
人心隔肚皮，知人知面不知心，在你得势的时候，越是摇着尾巴逢迎的，越可能是最后捅你的那个，所以永远别把自个人的命运托付到别人手上，才是王道。
郭德纲
当前经济模式太过粗放，过度依赖资源开发，这些后果老百姓都能感受到，不用看数据，连喘气都能感受到。宁愿GDP少一点，经济发展速度低一点，我们不愿意吸这个空气，更不愿意让我们的后代去吸这样的空气。
崔永元
礼节比法律更重要，它那高雅的特性为自己筑起了一道无法攻克的防护墙。
爱默生
如果没人关心，没人认同，又必须得有人开始，那么，由你开始做起就对了。
阿德勒
这世界离开谁都可以！天照样刮风下雨，女人照样生娃娃！
路遥
我觉得一家幸福是最紧要，生意起跌是小事。生意今日起，明日跌，一家人开心最紧要。
李嘉诚
“忍”之一字，众妙之门。
吕本中