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

I want to be remembered as a passionate artist.

世界是一本书，不旅行的人只读了一页。

美不是艺术的目标，而是它的副产品。

写作是与沉默达成协议。