海洋养育了数百万人,我们有责任确保它能为子孙后代继续这样做。
形式化方法不是银弹,但它们是追求可靠系统的重要工具。
The most important skill for a programmer is the ability to read code.
Faith is the great cop-out, the great excuse to evade the need to think and evaluate evidence.