"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
经济历史是由一幕幕的插曲构成他们都奠基于谬误与谎言，而不是真理，这是赚大钱的途径，我们仅需要辨别前提为错误的趋势，顺势操作，并在他被拆穿以前提早脱身。
乔治·索罗斯
看见目标就看不到障碍。
徐鹤宁
在爱情里面要把对方偶尔当成朋友，因为对待朋友的时候会有一种很自然的非常的真诚，小小的界限，那个界限不会像家人可以那样放纵，所以有的时候要进退，不同的时刻。
梁静茹
I just want to be happy and make music.
我只想快乐地做音乐。
蕾哈娜
另外一个道理——这个道理可能会让你们想起孔子——是，获得智慧是一种道德责任，它不仅仅是为了让你们的生活变得更加美好。而且有一个相关的道理非常重要，那就是你们必须坚持终身学习。如果没有终身学习，你们大家将不会取得很高的成就。光靠已有的知识，你们在生活中走不了多远。离开这里之后，你们还得继续学习，这样才能在生活中走得更远。
查理·芒格
善良是聋子能听、瞎子能懂的语言。
马克·吐温
人不是物中的物；物相互决定，但人最终是自我决定的。
The human being is not a thing among things; things determine each other, but the human being is ultimately self-determining.
卡尔·雅斯贝尔斯
如果我们想保护森林，就必须先了解它们。
If we want to protect forests, we must first understand them.
莎拉·格林
中国的士绅只能按经济和政治的双重意义来理解，因为他们是同拥有地产和官职的情况相联系的。
费正清
最早我在松树上看见的那些露水就是这样的_，一滴。它那么明亮,里边有精美的宏大的世界…。
顾城
有想象力而没有鉴别力是世上最可怕的事。
丁玲
Do what you love, love what you do.
做你热爱的事，热爱你所做的事。
瑞奇·马丁
阅读的一部分本质就是被困惑，且知道自己被困惑。
阿德勒
哪儿有贫穷，哪儿就有爱情。
加西亚·马尔克斯
人性这个东西，是用来熟悉和利用的，而不是用来挑战的，谁挑战人性，谁就会下场悲惨。
佚名
眼前是曲折的路，心中是笔直的悲伤。
木心
成衣业的成功源于理解设计的艺术和生产的科学。
Success in apparel comes from understanding both the art of design and the science of production.
埃里克·怀斯曼
家中无论老少男妇，总的习勤劳为第一义，谦谨为第二义。劳则不佚，谦者不傲，万善皆从此生矣。
曾国藩
我不信；但是屋子里是异样的寂寞和空虚。我遍看各处，寻觅子君；只见几件破旧而黯淡的家具，都显得极其清疏，在证明着它们毫无隐匿一人一物的能力。
鲁迅