履约保函是一种金融工具，用于确保承建商履行合同中的义务。它通常由银行或保险公司提供，并对某些款项进行冻结，以便在发生违约情况时可以使用这些款项进行赔偿。
冻结金额的确定通常取决于各种因素，包括项目规模、合同条款、风险评估等。通常来说，冻结金额应该足够覆盖可能的违约损失，以及可能的诉讼费用和利息。
冻结金额的形成通常通过以下步骤进行：
履约保函中冻结的金额在发生违约情况时起到以下作用：
冻结金额通常在以下情况下解除：
冻结金额对承建商和业主都有一定的影响：
