—— 请按键盘 空白键 开始游戏 ——

The challenge in model checking is not just to find errors, but to understand why they occur.
Be still. Apart from this the mind has no task to do or thought to think.
商业的成功来自于理解人,而不仅仅是产品。