Change your conception of yourself and you will change your world.
我们行业最大的挑战不是技术上的,而是改变思维方式。
旅行让你无言,然后把你变成一个讲故事的人。
The challenge in model checking is not just to find errors, but to understand why they occur.