模型检查是验证有限状态并发系统正确性的强大技术。

Never ask a woman if she is pregnant. Let her tell you if she is.

起初一无所有，然后发生了爆炸。

True progress comes from challenging the status quo.

A book is a mirror: if an ape looks into it, an apostle is unlikely to look out.

成功不需要高学历，你需要的是胆识和常识。