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

书籍是反映我们挣扎的镜子。

One must not cheat anyone, not even the world of its triumph.

庆祝你的成功。在失败中找到幽默。不要把自己看得太严肃。放松，你周围的人也会放松。享受乐趣。总是表现出热情。