"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
真正的学者不在于知道多少,而在于热爱真理。