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

I never allow myself to have an opinion on anything that I don’t know the other side’s argument better than they do.

You can't trust code that you did not totally create yourself.

释义：万物本质平等，无贵贱之分。

女人了解她所爱的男人的脸，就像水手了解开阔的大海。