我们是我们一再重复的行为。因此,卓越不是一种行为,而是一种习惯。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."