书桌上不能有太多的书，心中则不能少书；这就好像鱼离了水则干枯，心中没有书则无寄托。

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

每一次失败都是一堂课，让你更接近成功。

I'm not a rapper, I'm a world changer.

创新不仅仅是创造新事物；而是让现有的变得更好。