Believe in yourself even when no one else does.
I don't want to be a martyr, I want to be a survivor.
Model checking is a powerful tool for verifying the correctness of hardware and software systems.