形式化方法的美在于它们能够提供关于系统行为的绝对保证。
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
天有不测风云。
吴承恩
爱到分时才显珍贵，很多人都不懂珍惜拥有，直到失去才看到，其实那最熟悉的才是最珍贵的。
柏拉图
不要轻易言败，坚持到底才能获得胜利。
巴尔扎克
相互依存和贸易之所以合意，是因为它可以使每个人享用更多数量和品种的物品与服务。10. 对从贸易中获益的双方而言，他们进行贸易的价格在两者的机会成本之间，卖者可以以高于其机会成本的价格出售一种商品，买者可以以低于其机会成本的价格购买一种商品，结果双方的状况都将改善。
曼昆
最遥远的距离，不是爱也不是恨，而是熟悉的人渐渐变得陌生。
张爱玲
未来是拼出来的，不是等出来的。
任正非
音乐是灵魂的语言，它能以言语无法企及的方式触动人心。
Music is the language of the soul, and it has the power to touch hearts in ways words alone cannot.
安德烈·波切利
万物皆处于流动状态。
All things are in a state of flux.
普罗泰戈拉
所有的大人都曾是孩子，可惜只有少数人记得这件事情。
安托万·德·圣-埃克苏佩里
我过去是，现在仍然是一个探索者，但是我不再占星问道，我开始倾听内心深处的低语。
赫尔曼·黑塞
Courage doesn't always roar. Sometimes courage is the quiet voice at the end of the day saying, "I will try again tomorrow."
勇气并不总是咆哮。有时候，勇气是一天结束时那个轻声说"明天我再试一次"的声音。
伊莎贝尔·莫雷尔
为了我国的原子能事业，为了祖国的繁荣富强，我在死难之后还有什么可以奉告的呢？还是抓紧时间工作吧！
邓稼先
嘴上说的谎言不过是根据心理活动而模仿出的影像，不算是真正的谎言；只有人的心灵受欺骗了，才算是真正的谎言。
柏拉图
钱，就像内裤，你得有，但不必逢人就证明你有。
莫言
所谓团结，就是团结跟自己意见分歧的，看不起自己的，不尊重自己的，跟自己闹过别扭的，跟自己作过斗争的，自己在他面前吃过亏的那一部分人。
毛泽东
短期价格本身难以预测，所以说，为了获得短期价差而频繁交易是不可能赚到大笔利润的，只有真正长期坚定地持有优质股票的人才能获得较大的利润。
欧文·费雪
一个人想干成点事儿，记住两句话：别把自己太当人，别把别人不当人。就这个规律而言，天下乌鸦一般黑。别把自己太当人，主打一个忍人所不忍；别把别人不当人，是要对人性有敬畏。
豆豆
爱情只有当它是自由自在时，才会叶茂花繁。认为爱情是某种义务的思想只能置爱情于死地。只消一句话：你应当爱某个人，就足以使你对这个人恨之入骨。
罗素
在幸福中，我又时时被深沉的哀伤所萦绕，因为我很明白，这些不会持久。
赫尔曼·黑塞