Curiosity is the driving force behind all scientific discoveries.

The only thing that can make you a winner is your resilience.

If you don't give up, you still have a chance. Giving up is the greatest failure.

真正的发现之旅不在于寻找新的风景，而在于拥有新的眼光。

I don’t take no for an answer.

Never stop asking, “How can we do this better?”

晏子春秋

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