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

I'm not trying to be the next anybody. I'm trying to be the first me.

The pursuit of knowledge in computer science is a journey through the landscape of logic and creativity.

有才能而性情舒缓的人一定是大人才；有智慧而心气平和的人方称之大智慧。

战略就是做出选择、权衡取舍；就是要有意识地选择与众不同。