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

The challenge in model checking is not just to find errors, but to understand why they occur.
技术可以帮助我们更聪明地捕捞,而不是更费力。
The most controversial thing I have ever done is to stick around.