形式化验证（Formal verification）如何确保完美的智能合同？