失败并不总是错误，它可能只是一个人在特定情况下能做到的最好结果。真正的错误是停止尝试。

写作是留下思想的遗产。

"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."

成就的唯一途径是热爱自己的事业，如果你还没找到的话，继续寻找，不要屈就。