"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
只要抱着实现目标的坚强意志，一步一步、持续地付出不亚于任何人的努力，就一定能到达那险峻的高山之巅。
稻盛和夫
有时候，谣言的核心是事实，就像某些故事有真实的原型一样。
莫言
当你持有好公司的时候，时间就是最大的趋势，而你已经站在了趋势的一边。相反你投资了问题股，特别是不赚钱的股票，时间就是你最大的敌人。
彼得·林奇
最关于应付对外面敌人的恐惧的是尽量交友;对于不能交为朋友的人，至少要避免和他们结怨;要是连这个也办不到，就要尽可能地避免和他们往来，为自己的利益疏远他们。
伊壁鸠鲁
“练习”涵盖了“习练”、“训练”、“操练”、“演练”、“修炼”等不同层面的含义，练习是人类特有的一种生活方式。
钟启泉
一个人受了猛烈的火烙，在身体上留下个可怕的疤痕；以后只消抚摩到或者看到这个疤痕，当时一切被烙的惨状就完全涌现于心目中了。
叶圣陶
成功的奥秘在于多动手。
杨振宁
Real cloud computing is to make users unaware of the existence of technology.
真正的云计算是让用户感觉不到技术的存在。
王坚
一个人的健康最重要，健康回不了头，没了健康什么都没了。
钟南山
害人之心不可有，防人之心不可无！
周希陶
她只是做了她觉得她该做的事。而你的男同胞们也做了他们觉得他们该做的事。人们是应该做他们该做的事的。我们大家想的不一样，行动也不一样，而用我们自己的标准来衡量别人，那是不对的。
玛格丽特·米切尔
我像河流，像沉睡的石头，躺在这生机蓬勃、被岁月犁过的大地。
奥克塔维奥·帕斯
人是自私的人，城是寂寞的城。在那兵荒马乱的时代，个人主义者是无处容身的，可是总有地方容得下一对平凡的夫妻。而在这和平年代，处处彰显个性，我们都太忙于谈恋爱，寻找爱，可哪里还有功夫谈恋爱，发现爱呀。
张爱玲
我首先要求诸君信任科学，坚信理性，信任自我，并坚信自我。
黑格尔
快乐哲学只有快乐的哲学，才是真正深湛的哲学；西方那些严肃的哲学理论，我想还不曾开始了解人生的真义哩。在我看来，哲学的唯一效用是叫我们对人生抱一种比一般人较轻松较快乐的态度。
林语堂
Technology should serve people, not control them.
技术应该服务于人，而不是控制人。
宿华
改变的秘诀在于集中你所有的精力，不是对抗旧的，而是建立新的。
The secret of change is to focus all of your energy not on fighting the old, but on building the new.
罗斯·麦克尤恩
在艺术作品中，最富有意义的部分就是技巧以外的个性。
林语堂
我用手去接那晶莹的雪花，雪融化在掌心里，像一滴泪。
史铁生