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

不要只追逐金钱，追逐你的热情。

“唯一真正无限的是人类的想象力。”

年轻人必须为履行生活所赋予他们的职责充实自己，同时要抵制生活的诱惑。

革命并不容易，但它是可能的。

The cognitive map is not a picture or a model in the head, but a dynamic, changing representation of the environment.

安全生产是煤炭行业的生命线，任何时候都不能放松。

和我的团队一起赢得奖杯是世界上最好的感觉。