"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
形式化方法不是银弹,但它们是追求可靠系统的重要工具。
Success is not final, failure is not fatal: it is the courage to continue that counts.
I'm not a businessman, I'm a business, man.