Model checking is a powerful tool for verifying the correctness of hardware and software systems.
I'm a human being and I fall in love and sometimes I don't have control of every situation.