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.