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

每一次技术的应用,都要以可持续为前提。
一支箫一把剑是我平生的志向,辜负了狂名十五年。
不要走在我后面,因为我可能不会引路;不要走在我前面,因为我可能不会跟随;请走在我的身边,做我的朋友。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
The best way to predict the future is to create it.