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

我不得不提醒自己有些鸟是不能关在笼子里的,他们的羽毛太漂亮了。
I have to remind myself that some birds are not meant to be caged. Their feathers are just too bright.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."