The world is not a problem to be solved; it's a living being to which we belong.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
面包师的手是他们最有价值的工具，由经验和直觉引导。
There are no shortcuts in technology, only steady step-by-step progress.
企业不是靠一个人做起来的，是靠一群人做起来的。
True innovation comes from understanding tradition deeply enough to break it properly.
故事的力量在于它能够将我们与未知连接起来。
The best way to cheer yourself up is to try to cheer somebody else up.
Success is a journey, not a destination.