"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
真正的天才在不完整面前会颤抖——通常宁愿保持沉默,也不愿说一些不完全符合它应该说的话。
富贵荣华如同眼前短暂绽放的花朵,何必为此自寻烦恼。