形式化方法的美在于它们能够提供关于系统行为的绝对保证。
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
实现明天的唯一限制是我们今天的疑虑。
The only limit to our realization of tomorrow is our doubts of today.
罗斯·麦克尤恩
1.我在测试什么？你要做试验了，所以你得知道你在测试什么。我会喜欢做播客吗？我想住在新加坡吗？ 2.怎样算是失败？怎样算是成功？在一开始，就要想清楚你对成功和失败的衡量标准。此时你的头脑相对清晰冷静，一旦你置身其中，情绪和沉没成本可能会影响你的判断。 3.试验何时结束？“某一天”不是好答案。确定一个日期，在日历上标出来，到了那天就对这个试验作出评估。开始一件事比结束一件事要容易得多，因此制订退出计划十分重要。
奥赞·瓦罗尔
他总是在感到满意后迅速警告自己，危险就在这里。
弗兰兹·卡夫卡
Every saint has a past, and every sinner has a future.
每个圣人都有过去，每个罪人都有未来。
赫布兰德·巴克
一个企业的灵魂就是成功的管理，此外没有比它更重要的因素。
亨利·福特
The only thing that matters in art is the part that cannot be explained.
艺术中唯一重要的是无法解释的部分。
皮埃尔·苏拉热
人最怕下一个对象不如上一个。舍命扔掉金镶玉，换来的只是一堆废铜铁。丢脸！
苏芩
只有当我给予的时候，我才会拥有。我迷失自我，是为了寻找自我。当我向伟大的事物弯腰时，那就是我最强大、最有力的时候。
戴维·布鲁克斯
⼆⼗⼀世纪⼯作⽣存法则就是：建⽴个⼈品牌，把你的名字变成钱。
卡耐基
韩孔厂说：「舌下无英雄，笔底无奇士。」但不幸沦为笔底，纸上牛层总比纸上马屁好。
李敖
时尚与先锋似乎有点重叠。在杂志和T台上我在演绎时尚流行。在生活中我喜欢了解新鲜事物带给我生活的便捷之后再去尝试。
刘雯
记录就是用来被打破的。
Records are there to be broken.
迈克尔·舒马赫
你在孤独、悲伤的日子，请悄悄地念一念我的名字，并且说：这世上有人在怀念我，我活在一个人的心里。
普希金
勇敢追求让你灵魂燃烧的事物。
Be fearless in the pursuit of what sets your soul on fire.
亚瑟小子
这样的真爱一生只有一次。
罗伯特·詹姆斯·沃勒
坚持乐观主义！找到让自己变得乐观的方法会让你更快乐。
迈克尔·戴尔
我想，我们都不是天才，所以才会有这样的差距。
残雪
在我看来，沒有一个头衔能比辩护律师更崇高可敬了。
艾伦·德肖维茨
我所要大力谴责的，乃是那颗孕于猜忌、长于无知、不容异己的心。
威廉·奥斯勒