To be forgiven is only half the gift. The other half is that we also can forgive.
There are 360 degrees, so why stick to one?
Model checking is a powerful tool for verifying the correctness of hardware and software systems.