"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
我是忠于我的书和我的态度的：如果精神与肉体不能谐和，如果他们没有自然的平衡和自然的相互的尊敬，生命是难堪的。
戴维·赫伯特·劳伦斯名人名言哲理格言警句语录 戴维·赫伯特·劳伦斯
所有的真理都要经过三个阶段：首先受到嘲笑，然后遭到激烈反对，最后被理所当然地接受。
叔本华名人名言哲理格言警句语录 叔本华
建筑是关于创造内外之间的门槛。
Architecture is about creating thresholds between inside and outside.
保罗·门德斯·达·洛查名人名言哲理格言警句语录 保罗·门德斯·达·洛查
如果强势板块中的某只股票没有跟随同行业其它股票一起上涨，这至少说明这只股票比较虚，或者说“病了”，买入这支股票要当心，因为它没有跟其它同类股一起共振。
杰西·利弗莫尔名人名言哲理格言警句语录 杰西·利弗莫尔
死亡等于拒绝一切理解。
川端康成名人名言哲理格言警句语录 川端康成
钟敲十二响的时候，荷西将我抱在手臂里，说："快许十二个愿望。”心里重复着十二句同样的话："但愿人长久，但愿人长久，但愿人长久，但愿人长久——"
三毛名人名言哲理格言警句语录 三毛
现实就是：适合你的女孩永远不会出现。人生就是：有时连不适合你的女孩都不会出现。
朱德庸名人名言哲理格言警句语录 朱德庸
强取胜于苦耕。
乔治·R·R·马丁名人名言哲理格言警句语录 乔治·R·R·马丁
友谊永远是一个甜柔的责任，从来不是一种机会。
纪伯伦名人名言哲理格言警句语录 纪伯伦
尽管左派的大词是“同情”，不过，他们的主要议程却是制造“依附”。吃政府救济的人越多，左派得到的选票就越多，也就能进一步扩大福利国家。
托马斯·索维尔名人名言哲理格言警句语录 托马斯·索维尔
未庄通例，倘如阿七打阿八，或者李四打张三，向来本不算一件事，必须与一位名人如赵太爷者相关，这才载上他们的口碑。一上口碑，则打的既有名，被打的也就托庇有了名，至于错在阿Q，那自然是不必说；所以者何？就因为赵太爷是不会错的。但他既然错，为什么大家又仿佛格外尊敬他呢？这可难解，穿凿起来说，或者因为阿Q说是赵太爷的本家，虽然挨了打，大家也还怕有些真，总不如尊敬一些稳当，否则也如孔庙里的太牢一般，虽然与猪羊一样，同是畜生，但既经圣人下箸，先儒们便不敢妄动了。
鲁迅名人名言哲理格言警句语录 鲁迅
人生就是这样一个持续寻找、持续探索的过程。
梁永安名人名言哲理格言警句语录 梁永安
如果幸福在于肉体的快感，那么就应当说，牛找到草料吃的时候是幸福的。
赫拉克利特名人名言哲理格言警句语录 赫拉克利特
若是无风鼓帆，那就奋力划桨；若是无人援手，干脆做自己的摆渡人。
佚名名人名言哲理格言警句语录 佚名
Los silencios dicen más que las palabras, pero hay que saber escucharlos.
沉默比言语说得更多，但必须懂得倾听。
卡门·马丁·盖特名人名言哲理格言警句语录 卡门·马丁·盖特
知道的越多，才知知道的越少。
苏格拉底名人名言哲理格言警句语录 苏格拉底
生产好似摇钱树，节俭犹如聚宝盆，勤快能换万担粮，用心拥有全宇宙。
星云大师名人名言哲理格言警句语录 星云大师
市场与上帝交易市场就象上帝一样，帮助那些自助者。但是和上帝不同的是，交易市场不会原谅那些不知道自己在做什么的人。
本杰明·格雷厄姆名人名言哲理格言警句语录 本杰明·格雷厄姆
讲道修德，念念要从虚处立基，若稍计功效，便落尘俗。
洪应明名人名言哲理格言警句语录 洪应明