形式化方法不是银弹，但它们是追求可靠系统的重要工具。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
I'm blessed to do what I love.
The act of painting is an act of love.
路途再近，你不走，也不会到达。事情再小，不去做也不可能完成。
活着就是背叛，背叛才能活着。
债券市场是市场信心的最终衡量标准。