成功很棒,但真正的回报是用我们的音乐让人们快乐。
艺术家的职责是让不可见的东西变得可见。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."