形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
I'm not a role model, I'm a human being.
君子不用水来当镜子，而是拿别人来当镜子。用水当镜子可以看到的是容貌，用人当镜子则可以知道吉凶对错。
我不是名人。我是一个传奇。