"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
平凡与非凡之间的区别就在于那一点点额外的努力。
Quality is more important than quantity. One home run is much better than two doubles.