术语词典

形式化验证

把合约逻辑和预期行为表示为数学语句，并用自动化工具检查两者是否一致的验证方法。