我们都是自己故事中的英雄。

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

The most important thing is to be true to yourself and your craft.

We are forever responsible for what we have tamed.

教育不是注满一桶水，而是点燃一把火。