我希望人们记住的是我的音乐,而不是我的形象。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."