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

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
A person who makes no mistakes usually doesn’t make anything.
The only way to find yourself is to lose yourself in something greater.