"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

Get rich or die trying.

Success is not final, failure is not fatal: It is the courage to continue that counts.

预测未来的最好方法是塑造它。

电影是一面镜子，通过它我们经常看到自己。

The greatest discoveries are often the result of many small steps.

I’m not playing for the records. I play tennis because I love it.

建筑是赋予场所精神以形式的艺术。