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

模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
我不得不提醒自己,有些鸟是不能关在笼子里的,他们的羽毛太漂亮了,当他们飞走的时候…你会觉得把他们关起来是种罪恶,但是,他们不在了你会感到寂寞,可是我只是想我的朋友了…