"If you're not enjoying writing it, the reader won't enjoy reading it."

I'm not a villain, I'm a realist.

成功不是终点，而是不断进步的过程。

The best way to predict the future is to create it.

The past is never dead. It's not even past.

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

追求幸福不是追逐快乐，而是培养意义。