秘诀是相信你的梦想；相信你有潜力成为你的明星，不断追寻。

There is no such thing as an inheritance of capacity, talent, temperament, mental constitution and characteristics.

The more you know, the more you realize you know nothing.

The act of writing is an act of freedom.

Model checking is a powerful tool for verifying the correctness of hardware and software systems.

当我们在没有危险的情况下征服时，我们的胜利就没有荣耀。