I think the best films are the ones that stay with you long after you've seen them.
Model checking is a powerful tool for verifying the correctness of hardware and software systems.