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

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
I don't think of myself as a celebrity. I think of myself as an actor who's had some success.
I'm like a dog, I don't speak but I understand.
我不想成为世界上最好的,我想成为对世界最好的。