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

可持续性不是选择，而是我们行业未来的必需品。

权力总是危险的。它吸引最坏的人，腐蚀最好的人。

翻译：真正的强者懂得收敛锋芒，看似柔弱的状态实则是蓄力待发，做人不可仅凭表面判断实力。