形式化方法不是银弹，但它们是追求可靠系统的重要工具。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
Think wrongly, if you please, but in all cases, think for yourself.
Every artwork is a frozen moment in a process of becoming.
在乳制品行业，安全和质量是不可妥协的。
To kill an error is as good a service as, and sometimes even better than, the establishing of a new truth or fact.
Innovation in technology comes from the ability to see beyond the current limitations and imagine what could be possible.