"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
生活中最重要的事情是停止说“我希望”,开始说“我会”。