"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
他的身体到了冲力的极限，停住不动。
克洛德·西蒙
随和、机智、宽容、从容不迫，不论手势还是表情，都恰如其分，令人感觉舒服；不管对方的观点是否正确，都应报以尊重之情，如此等等，都可产生那种亲切感。
查斯特菲尔德
我们有权利使用自己的感性力量，以实现任何一个未被理性规律所禁止的目的。
费希特
无论你拥有多么高的艺术技巧和天赋，要寻找金钱及权力就到别处去，如此一来，当发现自己的才华和努力得不到同等的回报时，你才不会因此而憎恨艺术。
奥尔罕·帕慕克
骄傲和膨胀都是给别人看的，内心的不堪入目却只有自己知道。
辛夷坞
"Books are the bridges that connect us to each other."
书籍是连接我们彼此的桥梁。
贾森·雷诺兹
也不愿承受永久性损失。
巴菲特
所有伟大的爱情都是想象力的行为。
Todo gran amor es un acto de imaginación.
卡洛斯·富恩特斯
我不会因为人性而感到意外，也不会花太多时间感受背叛，我总是低下头调整自已去适应，我不是受害者，我是幸存者！
查理·芒格
不要和猪打架，自己会弄得一身脏，而且会让猪快乐。
郭德纲
孩子喝一罐可乐就相当于成人喝四杯咖啡。
格雷格·D.贾克布
佛教讲缘生，说由于各种关系结合而产生各种现象，写小说也是如此，写出这种关系的现象，那就是日常生活。
贾平凹
一切改变都是值得深思的奇迹，但它又是一种随时会发生的奇迹。
梭罗
舅老爷和姑奶奶，谁的面子大？
易中天
虐待儿童的行为不仅会创造不幸福的、困惑的儿童，还会创造具有破坏性的青少年和施加虐待的父母，以及让人迷惑的、荒谬的社会。
爱丽丝·米勒
想要瓦解一个民族，只要抽掉男人的脊梁和血性，拿走女人的廉耻和善良，社会风气坏了，几代人也难以修复。
钱学森
佛山企业要讲底线思维，每家企业不妨多划几道底线，准备对付最严峻的情况，调度一切力量，苦撑苦熬。
周其仁
如果你觉得世界变得越来越陌生，仅仅因为你一直关注浪花和泡沫。其实，大海一直在那里，而你，就是大海的一部分。
吴晓波
雪芹笔下的女儿，个个都是‘脂粉英雄’。
周汝昌