"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
Leadership is about making the tough decisions and standing by them.
The world is changing, and we must change with it.