决定我们是否富有的,不是我们拥有的东西,而是我们没有也行的东西。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."