审判自己比审判别人要难得多啊!你要是能审判好自己,你就是一个真正有才智的人。
The challenge in model checking is not just to find errors, but to understand why they occur.