形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
欲望使人即使到了天堂也会坐立不安。
罗素
一个人的信念必须超越自我和个人需求，它可以是自己的公司、祖国或服役义务。任何因信念和核心价值观的激励而选择的挑战都是值得的，无论最终的结果是成功还是失败。
苏世民
已经二十四岁了，再碰不到那个人，也许永远碰不到了。
亦舒
假设市场是绝对对称的话，那么任何一致性的交易方法在交易足够多的次数以后，最终的战绩都会趋向于零。
金融帝国
以势交者，势倾则败；以利交者，利穷则散。以财交者，财尽则绝；以色交者，色落则渝。
刘向
在有保障的情况下，用不着有限的自控和决断能力；而穷人则需要不断运用这种能力，这会消耗他们的精力。
阿比吉特•班纳吉
其实，一个男人的梦想几乎是从来不会实现的。
维特根斯坦
我们真实的语言易于蒸发掉，常使一些残余下来的语言变得不适用。
梭罗
La literatura es el arte de la paciencia y el asombro.
文学是耐心与惊叹的艺术。
胡利奥·科塔萨尔
世间的一切，无论看起来多么重要，其实都是微不足道和毫无意义的。
塞涅卡
To write is to listen—to the voices within and the world outside.
写作就是倾听——倾听内心的声音和外部世界。
约恩·福瑟
这是一个巨烈变动的时代，一个激情奔放的时代！我们永远无法适应全新的事物，但我们必须证明自己的价值，肯定我的存在，无时无日不是如此。
李小龙
世 界上真是有很多人没有安全感，而且想来人应该大抵上都是这样的。只是我不明白为什么人们都要把这些所谓的安全感托付在一些身外之物上，比如房子或者在银行 的存款。这地球是如此不可靠地悬在宇宙之中，地震、战争、经济崩溃等等会随时把我们的身外之物夺走。所以我不明白为什么这些随时都要失去的东西能带给人安 全感。
韩寒
科技工作者要有家国情怀，把论文写在祖国的大地上。
陈薇
习惯于绝望的处境比绝望的处境本身还要糟。
加缪
The discovery of life in extreme environments has redefined the boundaries of biology.
在极端环境中发现生命重新定义了生物学的边界。
罗伯特·巴拉德
好勇斗很，本来是人类的天性，人类必须保卫自己，尽其可能，从幼小起头，一直到成人时分。
丁玲
智力的标志不是知识，是幻想。
爱因斯坦
文章太守，挥毫万字，一饮千钟。
欧阳修