I don’t regret anything I’ve ever done in my life, any choice that I’ve made.
Model checking is a powerful tool for verifying the correctness of hardware and software systems.