我們需要將軟件不僅僅視為代碼，而是可以分析和驗(yàn)證的數(shù)學(xué)對(duì)象。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
The past is a foreign country; they do things differently there.