形式化方法的美在于它們能夠提供關(guān)于系統(tǒng)正確性的絕對確定性。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
In chemistry, as in life, the most profound truths are often the simplest.
The older I get, the more I realize that the only thing that matters is to be true to yourself.
Innovation distinguishes between a leader and a follower.
Architecture is not about form, it's about many other things.
我不需要運(yùn)氣，我自己創(chuàng)造運(yùn)氣。