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

模型检查是验证有限状态并发系统正确性的强大技术。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
I'm a person who likes to be atypical.
"The beauty of cinema is that it allows us to live a thousand lives in one lifetime."
【译文】近水的楼台最先看到水中的月亮,向阳的花木光照好,发芽就早。古代的人看不见今天的月亮,而今天的月亮却曾经照耀过古代的人。抢先一步就能当上君王,后到一步只能称作臣子。别以为你走得早,还有比你走得更早的人。
我们要做的是让智能化成为每个人的生活方式。
你不能害怕那些想要伤害你的人,因为如果你畏惧生活,你就永远不会真正地活过。
Trust doesn’t mean that you trust that someone won’t screw up—it means you trust them even when they do screw up.
To live without joy is the privilege of the just.
预测未来的最好方法就是发明它。