人不是物中的物；物相互决定，但人最终是自我决定的。

我不害怕风暴，因为我正在学习如何驾驶我的船。

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

领导力不在于掌控，而在于关心那些你负责的人。

Success is not just about what you achieve, but how you achieve it.

不能检查反省自己的人，看不出自身毛病；不能耐心忍受麻烦的人，终究是一事无成。

梦想不是追逐的东西，而是被追逐的东西。