The habit of reading is the only enjoyment in which there is no alloy; it lasts when all other pleasures fade.
Model checking is a powerful tool for verifying the correctness of hardware and software systems.