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

What I’m doing right now, I’m chasing perfection.

The true test of civilization is not the census, nor the size of cities, nor the crops, but the kind of man that the country turns out.

故事的力量在于它能够激发改变。

我希望我的艺术成为一声尖叫、一声哭泣、一声呐喊。