没事要戒掉一个“偷”字,有事要戒掉一个“乱”字。
有仁爱之心的人是没有敌人的
The challenge in model checking is not just to find errors, but to understand why they occur.