The challenge in model checking is not just to find errors, but to understand why they occur.

The best thing to hold onto in life is each other.

如果打架不可避免，先动手为强。

A true scientist must have not only the passion to pursue truth but also the courage to face the unknown.

A baker's hands are his most important tools.

适度是极其致命的事情。过度带来的成功无可比拟。

重点不是预测未来，而是为未来做好准备。

爱是对抗世界混乱的终极反抗行为。

预测未来的最好方式就是创造未来。