"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
I’ve learned that you have to be strong enough to stand alone, smart enough to know when you need help, and brave enough to ask for it.