最好的故事是那些在你翻完最后一页后仍久久留在你心中的故事。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.