形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
"The best stories are those that refuse to be finished."
衡量一个人的标准是他如何使用权力。
I don't want to be a movie star. I want to be an actor.
Every man's life ends the same way. It is only the details of how he lived and how he died that distinguish one man from another.
沉默是灵魂的语言。