坚持非常重要。你不应该放弃，除非你被迫放弃。

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

求和者就是希望鳄鱼最后一个吃自己的人。

The only way to get through life is to laugh your way through it. You either have to laugh or cry. I prefer to laugh. Crying gives me a headache.

物理是思想的框架……追索到事情的本质，再从那里思考下去。