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

"Cinema is the art of making the invisible visible."
I'm not a science, I'm a art.
未来可以通过现在的行动改变。
What lies behind us and what lies before us are tiny matters compared to what lies within us.
I’m focused on what I need to do to be great.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."