I'm rich enough to be able to afford to be honest.
Model checking is a powerful tool for verifying the correctness of hardware and software systems.