Model checking is a powerful tool for verifying the correctness of hardware and software systems.

我是那种会让你打电话给你女朋友并告诉她你爱她的人。