成功不是终点，失败也并非致命，重要的是继续前进的勇气。
Success is not final, failure is not fatal: It is the courage to continue that counts.
All things are possible until they are proved impossible and even the impossible may only be so, as of now.
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
关于人类的事情是，他们有能力做任何事情。