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

成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
艺术家必须自由,甚至要从自身中解放。
The first step is to establish that something is possible; then probability will occur.
永远不要让任何人告诉你你做不到某件事。
译文:人生变化不定,富贵难以预料。
用匠心打造精品工程,用诚信赢得市场尊重。