模型检查是验证有限状态并发系统正确性的强大技术。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
I’m not afraid of falling, I’m afraid of the fear of falling.
"Memory is a strange thing. It doesn’t work like I thought it did. We don’t remember, we rewrite memory much as history is rewritten. To remember is to remake, to reimagine."
你必须愿意冒险，如果失败了，你必须愿意站起来再试一次。
Every story has an end, but in life every end is a new beginning.