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

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
Stay hungry, stay foolish.
"Every act of creation is first an act of destruction."
大脑不是传统意义上的计算机,但它确实进行计算。
当人们做不到一些事情的时候,他们就会对你说你也同样不能。
一次又一次地后悔到终身,还不如不做后悔之事而无后顾之忧。