形式化方法不是银弹，但它们是追求可靠系统的重要工具。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
震骇一时的牺牲，不如深沉的韧性的战斗。
鲁迅
永远不要把你今天可以做的事留到明天做，延宕是偷光阴的贼，抓住他吧！
狄更斯
路逢侠客须呈剑，不是才人莫献诗。
周希陶
人的情绪起落是与它的事实的感知成反比的，你对事实了解得越少就越容易动感情。
罗素
Whenever people agree with me I always feel I must be wrong.
每次人们赞同我的时候，我都觉得自己一定错了。
奥斯卡·王尔德
在这个世界上，我除了冲着人们大笑以外，什么也做不了，否则，我只好冲他们开枪。
哈珀·李
The only thing that is truly valuable is the time you spend with those you love.
唯一真正有价值的是你与你爱的人共度的时光。
瑞奇·马丁
追寻天命的人，知道自己需要掌握的一切。只有一样东西令梦想无法成真，那就是担心失败。
保罗·科埃略
神对于那些大帝国会感到厌恶，却决不会厌恶那些小小的花朵。
泰戈尔
怪模怪样的人，没盯准脚下就迈不开腿。即便拖着力所能及的缓慢步履，行走也会在我脑中产生一种古怪的飘忽感，恍惚念头和纷乱意识此起彼伏。世界在我眼前飘移涌动，恍若涟漪中的倒影。每次我试图盯住一件具体的东西，想把它从喧哗的五颜六色中分离出来，比如说，女人头上包的蓝头巾，或者驶过货车的红色尾灯，它就立刻开始分离，溶化，像一滴颜料掉进水杯里，消散。
保罗·奥斯特
新能源车是未来交通的必然选择。
王传福
数学不是一项观赏性运动。
Mathematics is not a spectator sport.
约翰·汤普森
真实是人生的命脉，是一切价值的根基，又是商业成功的秘诀，谁能信守不渝，就可以成功。
西奥多·德莱塞
如果你做了一件100%的人都能看懂的事，那么这件事注定不能成功。
刘强东
但是人鱼没有眼泪，所以她经受了更多的苦难。
安徒生
爱情不假思索地突如其来产生，友谊则相反，是通过实践，通过长期的交往，随着时间逐步形成的。......但是多年努力的结果，比一张漂亮的面孔或者一只美丽的手起到的作用，还是差得多。
拉布吕耶尔
投资对象分为三类：可以投资、不能投资、太难理解的投资。投资必须快速剔掉自己无能为力的部分，然后将精力全部集中于“简单且可以理解的投资标的”。
查理·芒格
多谢你的绝情，让我学会死心。
柏拉图
不抬杠，要抓住主要问题，任何办法都是在一定时空下对真理的近似实现，时空条件越具体，办法法就越有效。如果去抬杠“近似”，那么就更难在这个时空条件下实施。
张一鸣