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

"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
To write is to give shape to the unseen.
最大的风险是不冒任何风险。在一个快速变化的世界里,唯一注定失败的策略就是不冒险。
The highest virtue is to become like God.
Le bonheur n'est pas chose aisée. Il est très difficile de le trouver en nous, impossible de le trouver ailleurs.
Good science requires patience and persistence.
未来的竞争不是价格的竞争,而是用户体验的竞争。