"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
翻译：真正的朋友，顺境时不添虚假繁华，逆境时不改变初心，富贵时不忘记旧交，这样的情谊才珍贵。
"To write is to give voice to the silent corners of the soul."
成功不在于从不犯错，而在于从不重蹈覆辙。
西西弗斯的神话