"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
小王子穿过沙漠。他只见过一朵花，一个有着三枚花瓣的花朵，一朵很不起眼的小花……
安托万·德·圣-埃克苏佩里
越确定，越不可能有利可图。
吉姆·罗杰斯
只有绝望，能毁灭一颗不死的心。 
今何在
Great companies don't just sell products; they solve problems.
伟大的公司不只是销售产品，而是解决问题。
托马斯·费舍尔
你的梦想是有效的，追逐它们。
Your dreams are valid, chase them.
宇多田光
常常分析自己，人，生下来被分到的阶级是很难再摆脱的。我的家，对撒哈拉威人来说，没有一样东西是必要的，而我，却脱不开这个枷锁，要使四周的环境复杂得跟从前一样。
三毛
喜欢一个人有的时候说不出原因的，我是那种喜欢我就喜欢我，不喜欢，说很讨厌的那种，我是比较极端的，所以要唱我专辑里面的一首歌，叫做《极端爱我》。
容祖儿
实验告诉我们，人体内至少有两种自我：体验自我与叙事自我。体验自我是我们每时每刻的意识。叙事自我不会叙述所有的细节，通常只会用事件的高潮和最后结果来编织故事。
瓦尔·赫拉利
要么现在，要么永远都不……
加西亚·马尔克斯
再比如，咀嚼自己。有吃嘴唇死皮的，更常见的是吃手指。有个级别高我很多的鬼佬领导，两只手，十个手指，没一个手指的指甲剩下一半以上的，间或还有一两个缠着创可贴。
冯唐
在我们最痛苦的时候，可能也是我们成长最快的时候，杀不死我们的，终会让我们变得更加强大，希望我们始终都能相信自己。
孙颖莎
投资者对我们看得比较透，分析的很细，他也许会降低其他SP的评级，不会降低我们的。包括我们现在网游，还有其他，他给我们市盈率也是高过纯网游公司，因为他认为你是平台化、有溢价。
马化腾
即使在最恐怖的恐怖之中，讽刺也从不缺席。
霍华德·菲利普·洛夫克拉夫特
财政是国家治理的基础和重要支柱，科学的财税体制是优化资源配置、维护市场统一、促进社会公平、实现国家长治久安的制度保障。
张馨
理解历史的唯一方式就是活在其中。
The only way to understand history is to live it.
卡洛斯·富恩特斯
72 小时法则：当你决定做一件事 ， 必须在 72 小时内开始。
博多·舍费尔
爱自己，让我们变得成熟起来，更好地和别人相处。
卡耐基
Innovation is the lifeblood of our company, and we must constantly push the boundaries of what is possible.
创新是我们公司的生命线，我们必须不断突破可能的界限。
王传福
图以于易，为大于细。
诸葛亮