"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
我们能成功，不是因为我们善于解决难题，而是因为我们善于远离难题。
查理·芒格
尽心知性知天，是生知安行事。存心养性事天，是学知利行事。夭寿不贰，修身以俟，是困知勉行事。
王阳明
结婚那天你一定要来做我的伴嘞，因为我们承诺过要一起走进婚姻的殿堂。
张爱玲
只有充满自信与原则的人知道说“不”，也只有别人知道你有说“不”的原则之后，才会信任你所所的“不”！
刘墉
一个人宁可叫自己思想的器官混入别人鞋底的微尘，这种气魄实在出我想象之外。
王小波
群体很容易扮演刽子手的角色，同样也很容易慷慨赴死。
古斯塔夫·勒庞
举头三尺，决有神明；趋吉避凶，断然由我。须使我存心制行，毫不得罪于天地鬼神，而虚心屈己，使天地鬼神，时时怜我，方有受福之基。
袁了凡
妖由人兴，此之谓乎。
纪晓岚
我总会有恐惧，但我不必置身心于我的恐惧之中 —— 因为在我的内心世界景观中还有我表达和行动的天地。
‌帕克·帕尔默
照耀人的惟一的灯是理性，引导生命于迷途的惟一手杖是良心。
海涅
我关注的是去爱而非爱。如果说我注重的是前者，那么也许是因为被爱在两者中总是更复杂。丘比特箭的发射比接收更容易，给与比接受更轻松。
阿兰·德波顿
The past is not a burden but a foundation upon which we build our future.
过去不是负担，而是我们构建未来的基础。
贾迈勒·黑托尼
一个不注意小事情的人，永远不会成就大事业。
卡耐基
子龙一身都是胆也！
罗贯中
临断岸、新绿生时，是落红、带愁流处。
史达祖
I don't really believe in failure. I believe in learning.
我不相信失败，我相信学习。
詹妮弗·洛佩兹
真正的成熟，应当是独特个性的形成，真实自我的发现，精神上的结果和丰收。
尼采
The true delight is in the finding out rather than in the knowing.
真正的乐趣在于发现而不是知道。
艾萨克·阿西莫夫
女人最幸福的时刻不是一个男人单膝跪地向你求婚，而是这个向你求婚的男人手里拿了一枚10克拉的钻戒。良缘虽好，若有金玉为伴，那才算得上是锦上添花呀！
李碧华