"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
Education is a lamp, but too many never find the switch.
It's not about being the best, it's about being better than you were yesterday.
If people did not sometimes do silly things, nothing intelligent would ever get done.