形式化方法不是银弹，但它们是追求可靠系统的重要工具。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
"The power of a story is that it can change the way you see the world."
我对一切都保持怀疑。
The artist must be a voice of silence.
A good system can't have a weak command language.