模型检查是验证有限状态并发系统正确性的强大技术。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
The best way to predict the future is to invent it.
永远不要停止学习，因为世界永远不会停止变化。
对任何模型的最大期望是它能提供一个对现实有用的近似。
The only thing I know is that I paint because I need to, and I paint whatever passes through my head without any other consideration.