"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
预测未来的最好方法就是发明它。
The best way to predict the future is to invent it.
阿迪·萨莫尔名人名言哲理格言警句语录 阿迪·萨莫尔
The best leaders are those most interested in surrounding themselves with assistants and associates smarter than they are.
最好的领导者是那些最热衷于让比自己更聪明的人围绕在自己身边的人。
约翰·法拉西名人名言哲理格言警句语录 约翰·法拉西
Freedom is never voluntarily given by the oppressor； it must be demanded by the oppressed.
自由从来不是被压迫者自愿给予的，必须由被压迫者争取。
马丁·路德·金名人名言哲理格言警句语录 马丁·路德·金
The general will is always right， but the judgment which guides it is not always enlightened.
总意志总是正确的，但指导它的判断并不总是明智的。
卢梭名人名言哲理格言警句语录 卢梭
人生唯一的敌人，是你的慾望。
伊能静名人名言哲理格言警句语录 伊能静
有时候最难的事就是什么也不做。
Sometimes the hardest thing to do is nothing at all.
辛西娅·角畑名人名言哲理格言警句语录 辛西娅·角畑
悲剧将人生的有价值的东西毁灭给人看，喜剧将那无价值的撕破给人看。
废名名人名言哲理格言警句语录 废名
Don’t fear failure. — Not failure, but low aim, is the crime. In great attempts it is glorious even to fail.
不要害怕失败。失败没有错，目标定太低才有错。追求远大目标，虽败犹荣。
李小龙名人名言哲理格言警句语录 李小龙
真理的追求是人类最崇高的活动，但它永远不会完全成功。
大卫·休谟名人名言哲理格言警句语录 大卫·休谟
改变好习惯比改掉坏习惯容易的多，这是人生的一大悲衰。
毛姆名人名言哲理格言警句语录 毛姆
善恶皆会使人受骗，若心生贪恋，便会步入他人所设陷阱，若心存善念，亦会被他人所利用。
张爱玲名人名言哲理格言警句语录 张爱玲
过度的精细是一种错误的明智，真正的明智是一种稳重的精细。
拉罗什富科名人名言哲理格言警句语录 拉罗什富科
要坚持战斗到最后一刻。
尼古拉·奥斯特洛夫斯基名人名言哲理格言警句语录 尼古拉·奥斯特洛夫斯基
国有资产要就是一碗饭，要往上面吐吐沫。
厉以宁名人名言哲理格言警句语录 厉以宁
一个有趣的悖论，有些方法可以解决缺乏自控力的问题，但利用这些方法则常常需要初始的自控能力。
阿比吉特•班纳吉名人名言哲理格言警句语录 阿比吉特•班纳吉
也许世上真正的笑和哭本是没有区别的。
铁凝名人名言哲理格言警句语录 铁凝
我觉得打野最重要的是心态，心态崩了，操作就变形了。
一诺名人名言哲理格言警句语录 一诺
她的声音带着友好与和睦，已没有嘲弄的意思。本来怒气冲冲的保尔，立时发不出半点火来。他被这位不知从哪儿跑出来的小姐的温柔，解除了武装。
奥斯特洛夫斯基名人名言哲理格言警句语录 奥斯特洛夫斯基
多年以后，我学到了一个英文单词，在法尔西语找不到对应的字眼，可以用来形容阿塞夫那样的人渣:反社会分子。
卡勒德·胡赛尼名人名言哲理格言警句语录 卡勒德·胡赛尼