Sandra D.T. Griffin (“Mrs. Griffin”) appeals the order of the Circuit Court of Sussex County (“circuit court”) denying her *743request for entry of a qualified domestic relations order (“QDRO”), which she pursues so that a certain term of her prior divorce decree might be enforced. For the following reasons, we reverse the circuit court’s order.
I. BACKGROUND
“When reviewing a [circuit] court’s decision on appeal, we view the evidence in the light most favorable to the prevailing party, granting it the benefit of any reasonable inferences.” Congdon v. Congdon, 40 Va.App. 255, 258, 578 S.E.2d 833, 835 (2003). However, the facts relevant to the resolution of this appeal are undisputed.
David L. Griffin (“Mr. Griffin”) and Mrs. Griffin were married on March 20, 1987 and had two children, James J. Griffin, III, born on October 25, 1987, and Gloria D. Griffin, born on July 6, 1992. The parties were divorced by a final decree of divorce entered in the circuit court on August 12, 1998. The final decree of divorce (“final decree”) incorporated the Separation and Property Settlement Agreement (hereinafter, “PSA” or “Agreement”) entered into by the parties on August 30, 1996. The Agreement term that is the subject of this appeal reads: “The parties agree to name the children of the marriage as co-beneficiaries under all 401K Plans and other such plans which would be distributed upon the death of either party.”
At the time of his death, Mr. Griffin was employed by Dominion Virginia Power (“Dominion”). At Dominion, he qualified for retirement benefits and he elected a 401(k) plan, known as Dominion’s Salaried Savings Plan (“Salaried Savings Plan” or “Plan”), which is governed by the Employee Retirement Income Security Act (“ERISA”). The Salaried Savings Plan is a defined contribution plan designed to encourage retirement savings. Dominion’s contributions to the plan depend on the participant’s contributions and years of service. There is no actuarial analysis to determine the participant’s benefits, and the participant’s life expectancy is not a consideration in the Salaried Savings Plan. Under the Salaried Savings *744Plan, the surviving spouse is the beneficiary upon the participant’s death unless she has consented to another beneficiary. The Salaried Savings Plan documents also provide that “if you are divorced, benefit payments from the Pension Plan or Savings Plan may be made to your former spouse, your child, or other dependent only in response to a Qualified Domestic Relations Order (QDRO).” The Dominion Plan Administrator testified that the Salaried Savings Plan is not a survivor annuity and it is strictly payable to the designated beneficiary.
In 2002, Mr. Griffin had named his children as his beneficiaries. However, Mr. Griffin married Kimberly Cowser-Griffin (“Cowser-Griffin”) in 2007, and in 2008 Mr. Griffin named Cowser-Griffin as his beneficiary for most of his funds, including the Salaried Savings Plan.1 He named his children only as contingent beneficiaries on the Salaried Savings Plan. Shortly after his marriage to Cowser-Griffin, Mr. Griffin was diagnosed with renal cell cancer. He died on May 26, 2012. He had not retired from Dominion. No party had applied for a QDRO or notified the Dominion Plan Administrator of an alternate payee for the Salaried Savings Plan. In October 2012, Mrs. Griffin sent a draft QDRO to Dominion. Dominion’s Plan Administrator responded that the proposed domestic relations order (“DRO”) would not be treated as a QDRO in light of Board of Trustees of the Indiana State Council of Plasterers & Cement Masons Pension Fund v. Steffens, Case *745No. 4:12CV513 JCH, 2012 WL 5207499 (E.D.Mo.2012), a case concerning a domestic relations order entered after the plan participant’s death. However, Dominion continued an administrative hold on Mr. Griffin’s Salaried Savings Plan benefits pending the outcome of the litigation concerning the proper beneficiary under the Plan.
The circuit court ruled that it had jurisdiction to reinstate the parties’ divorce case upon the docket “for such purposes as may be necessary to grant full relief to all parties,” citing Code § 20-121.1, and that Code § 20-107.3(K) grants the circuit court continuing authority and jurisdiction “to make any additional orders necessary to effectuate and enforce any order entered pursuant to [equitable distribution].” The circuit court clarified that if it were to enter the QDRO it would not be modifying the final decree’s incorporation of the property settlement agreement, “but rather would effectuate and enforce such an order by entry of a QDRO.” However, the circuit court denied Mrs. Griffin’s request to enter a proposed QDRO, finding that “under controlling federal law, without a preexisting QDRO, Mr. Griffin’s retirement benefits in the Dominion Salaried Savings Plan vested entirely in the designated beneficiary and surviving spouse, [Cowser-Griffin], once the plan participant passed away.” The circuit court found that under federal case law,
at the time of retirement or preretirement death the former spouse must have perfected a QDRO at the time the benefits became payable, or that in order to effect a postmortem qualification of the domestic relations order (“DRO”) as a QDRO, there must have been a DRO awarding the interest in the pension plan and substantially complying with ERISA’s QDRO specificity requirements at the time the benefits became payable. Alternatively, Ms. Sandra Griffin could have put the plan on notice of her children’s interest in the benefits. Ms. Griffin failed to perfect a QDRO prior to Mr. Griffin’s passing, and the final decree of divorce and the PSA do not qualify as a QDRO. Further, there is no evidence in the record that any notice of the children’s potential claim under the PSA was ever provided to the *746Plan at any time before the plan participant’s death. Thus, Defendant’s Motion for Entry of the [QDRO] is denied.
Mrs. Griffin timely appealed to this Court.
II. ANALYSIS
Mrs. Griffin’s assignment of error is that “[t]he trial court erred in ruling that the court could not properly enter a qualified domestic relations order under the circumstances of the case.” “We review the [circuit] court’s statutory interpretations and legal conclusions de novo.” Navas v. Navas, 43 Va.App. 484, 487, 599 S.E.2d 479, 480 (2004) (quoting Sink v. Commonwealth, 28 Va.App. 655, 658, 507 S.E.2d 670, 671 (1998)).
The disbursement of Mr. Griffin’s Salaried Savings Plan falls under the federal Employee Retirement Income Security Act of 1974 (“ERISA”), 29 U.S.C. § 1001 et seq., as stated in the Salaried Savings Plan documents and because it is an “employee pension benefit plan” as defined in 29 U.S.C. § 1002(2). An “employee pension benefit plan” or “pension plan” includes a plan maintained by an employer that provides retirement income to employees or deferred income for employees regardless of the method of calculating the benefits under the plan or the method of distributing benefits from the plan. 29 U.S.C. § 1002(2).
The principal goal of ERISA is to provide “a set of standard procedures to guide processing of claims and disbursement of benefits.” Egelhoff v. Egelhoff, 532 U.S. 141, 148, 121 S.Ct. 1322, 1328, 149 L.Ed.2d 264 (2001). 29 U.S.C. § 1144(a) provides that the Act “shall supersede any and all State laws insofar as they may now or hereafter relate to any employee benefit plan.” The legislative intent behind ERISA was to establish a uniform administrative scheme governing employee benefit plans to prevent the employer from being subject to differing regulatory requirements in differing states. Fort Halifax Packing Co. v. Coyne, 482 U.S. 1, 9, 107 S.Ct. 2211, 2216, 96 L.Ed.2d 1 (1987). The United States Supreme Court has “not hesitated to enforce ERISA’s pre*747emption provision where state law created the prospect that an employer’s administrative scheme would be subject to conflicting requirements.” Id. at 10, 107 S.Ct. at 2216.
A. 29 U.S.C. § 1055 Does Not Apply to the Salaried Savings Plan
Congress enacted the Retirement Equity Act of 1984 (“REA”) which “enlarged ERISA’s protection of surviving spouses in significant respects.” Boggs v. Boggs, 520 U.S. 833, 843, 117 S.Ct. 1754, 1761, 138 L.Ed.2d 45 (1997). The enlarged protections in REA are codified in 29 U.S.C. § 1055. Pursuant to the statutory language, 29 U.S.C. § 1055 applies to,
(A) any defined benefit plan,
(B) any individual account plan which is subject to the funding standards of section 302 [29 USCS § 1082], and
(C) any participant under any other individual account plan2 unless—
(i) such plan provides that the participant’s non-forfeitable accrued benefit (reduced by any security interest held by the plan by reason of a loan outstanding to such participant) is payable in full, on the death of the participant, to the participant’s surviving spouse (or, if there is no surviving spouse or the surviving spouse consents in the manner required under subsection (c)(2), to a designated beneficiary),3
*748(ii) such participant does not elect the payment of benefits in the form of a life annuity, and
(iii) with respect to such participant, such plan is not a direct or indirect transferee (in a transfer after December 31, 1984) of a plan which is described in subparagraph (A) or (B) or to which this clause applied with respect to the participant.
29 U.S.C. § 1055(b)(1) (footnotes added). While § 1055 governs most pension plans with surviving spouse benefits, it provides an exception for some individual account plans. Mr. Griffin’s estate concedes that the Dominion Salaried Savings Plan is one such plan excepted by the statutory language. Mr. Griffin’s estate, however, relies on language from Boggs stating that all pension plans are governed by § 1055, and thus, he argues that despite the statutory exception, the Salaried Savings Plan is nevertheless regulated by § 1055.
Congress’ concern for surviving spouses is also evident from the expansive coverage of § 1055, as amended by REA. Section 1055’s requirements, as a general matter, apply to all “individual account plans” and “defined benefit plans.” § 1055(b)(1). The terms are defined, for § 1055 purposes, so that all pension plans fall within those two categories. See § 1002(35). Wfiiile some individual account plans escape § 1055’s surviving spouse annuity requirements under certain conditions, Congress still protects the interests of the surviving spouse by requiring those plans to pay the spouse the nonforfeitable accrued benefits, reduced by certain security interests, in a lump-sum payment. § 1055(b)(1)(C).
Boggs, 520 U.S. at 843,117 S.Ct. at 1761-62.
First, we note that the above quoted language from Boggs is dicta and we note that, contrary to the assertion of Mr. Griffin’s estate, the Boggs Court’s choice of words actually is *749that § 1055 applies “as a general matter ... to all ‘individual account plans’ and ‘defined benefit plans.’ ” Id. (emphasis added). Thus, we do not read Boggs as a judicial revision of the statutory language designed to eliminate exceptions created by Congress. In Boggs, the pension plan at issue in the above quoted analysis was a “qualified joint and survivor annuity mandated by ERISA” in 29 U.S.C. § 1055(a) and (d)(1), id. at 842, 117 S.Ct. at 1761, and not an individual account plan as is the case here.4 Because the Supreme Court was not faced with deciding whether a particular individual account plan fell within the statutory exception to 29 U.S.C. § 1055, as provided in § 1055(b)(1)(C), the Court’s interpretation that § 1055 applies to all individual account plans is dicta and not binding precedent. See Camreta v. Greene, — U.S. -, -, 131 S.Ct. 2020, 2045, 179 L.Ed.2d 1118 (2011) (dicta remarks do not establish law or qualify as binding precedent).
The fact that 29 U.S.C. § 1055(b)(1)(C) requires excepted plans to pay a surviving spouse the participant’s nonforfeitable accrued benefits in a lump-sum payment does not mean that the other provisions of § 1055 apply to those plans. While § 1055(b)(1)(C) does require excepted plans to pay a surviving spouse the participant’s nonforfeitable accrued benefits in a lump-sum payment, this requirement is one of three to be met for an individual account plan to be excepted from § 1055; it would be illogical to conclude that § 1055 applies to an individual account plan excepted by the language of the statute itself.
*750Additionally, the fact that the Salaried Savings Plan requires spousal consent in the same manner as provided in 29 U.S.C. § 1055(c)(2) does not mean that § 1055 applies to the Plan. In fact, the statute itself contemplates that excepted plans may require spousal consent “in the manner required under subsection (c)(2).” 29 U.S.C. § 1055(b)(l)(C)(i). Accordingly, while an ERISA governed plan may require consent in the manner provided in 29 U.S.C. § 1055(c)(2), it may escape § 1055 application. Such is the case here where the Salaried Savings Plan requires spousal consent in the manner provided in 29 U.S.C. § 1055(c)(2). The Salaried Savings Plan meets § 1055’s requirements for excepted plans because (1) the Plan provides that the participant’s benefits are payable in full to the surviving spouse upon the participant’s death, (2) Mr. Griffin did not elect to receive benefits in the form of a life annuity, and (3) there is no evidence or allegations that the Salaried Savings Plan is a transferee of a previous plan. Moreover, as stated supra, Mr. Griffin’s estate concedes that the Salaried Savings Plan is excepted from § 1055 application. Therefore, the Plan is not subject to the regulations that apply to joint and survivor annuities and pre-retirement survivor annuities pursuant to § 1055, nor does the case law interpreting the § 1055 annuity regulations apply.
B. ERISA Allows for Assignment or Alienation of Plan Benefits Pursuant to a QDRO
Turning to Mrs. Griffin’s proposed QDRO, we must determine whether it meets the statutory requirements for a QDRO, and if it does, it is not pre-empted. Boggs, 520 U.S. at 848, 117 S.Ct. at 1764. In other words, enforceability of Mrs. Griffin’s interest “ultimately depends on whether a state court order is qualified under ERISA.” Langston v. Wilson McShane Corp., 828 N.W.2d 109, 116 (Minn.2013).
ERISA generally obligates administrators to manage ERISA plans “in accordance with the documents and instruments governing them.” 29 U.S.C. § 1104(a)(1)(D). “At a more specific level, the Act requires covered pension benefit plans to ‘provide that benefits ... under the plan may not be *751assigned or alienated,’ [29 U.S.C.] § 1056(d)(1), but this bar does not apply to qualified domestic relations orders (QDROs), [29 U.S.C.] § 1056(d)(3).” Kennedy v. Plan Adm’r for DuPont Sav. & Inv. Plan, 555 U.S. 285, 288, 129 S.Ct. 865, 868, 172 L.Ed.2d 662 (2009). “The QDRO provision is an exception not only to ERISA’s rule against assignment of plan benefits but also to ERISA’s broad preemption of state law.” Trs. of the Dirs. Guild v. Tise, 234 F.3d 415, 420 (9th Cir.2000) (citing 29 U.S.C. § 1144(b)(7)). 29 U.S.C. § 1056(d)(3)(A) provides,
Paragraph (1) [stating benefits may not be assigned or alienated] shall apply to the creation, assignment, or recognition of a right to any benefit payable with respect to a participant pursuant to a domestic relations order, except that paragraph (1) shall not apply if the order is determined to be a qualified domestic relations order. Each pension plan shall provide for the payment of benefits in accordance with the applicable requirements of any qualified domestic relations order.
(Emphasis added).
The Dominion Salaried Savings Plan provides under the heading “Death Benefits, Your Beneficiary”:
If you die while employed by Dominion, the entire value of your account is distributed to your beneficiary, including the value of all Company Matching contributions that automatically become vested upon your death.
Federal law requires that, if you are married when you die, your spouse must receive the distribution unless she or he approved your choice of another (or an additional) beneficiary before your death. Your spouse must agree to your choice of that beneficiary by signing the spousal consent portion of a Beneficiary Authorization Form obtained from ACS. The form must have been completed, signed, notarized, and returned to ACS before your death.
However, the Salaried Savings Plan document includes the 29 U.S.C. § 1056(d)(3)(A) requirement by stating: “if you are divorced, benefit payments from the Pension Plan or Savings Plan may be made to your former spouse, your child, or other *752dependent only in response to a Qualified Domestic Relations Order (QDRO)
The term “domestic relations order” is defined as “any judgment, decree, or order (including approval of a property settlement agreement) which—(I) relates to the provision of child support, alimony payments, or marital property rights to a spouse, former spouse, child, or other dependent of a participant, and (II) is made pursuant to a State domestic relations law....” 29 U.S.C. § 1056(d)(3)(B)(ii). A “qualified domestic relations order” is a domestic relations order “which creates or recognizes the existence of an alternate payee’s right to, or assigns to an alternate payee the right to, receive all or a portion of the benefits payable with respect to a participant under a plan,” and meets the requirements of subparagraphs (C) and (D):
(C) A domestic relations order meets the requirements of this subparagraph only if such order clearly specifies—
(i) the name and last known mailing address (if any) of the participant and the name and mailing address of each alternate payee covered by the order,
(ii) the amount or percentage of the participant’s benefits to be paid by the plan to each such alternate payee, or the manner in which such amount or percentage is to be determined.
(iii) the number of payments or period to which such order applies, and
(iv) each plan to which such order applies.
(D) A domestic relations order meets the requirements of this subparagraph only if such order—
(i) does not require a plan to provide any type or form of benefit, or any option, not otherwise provided under the plan,
(ii) does not require the plan to provide increased benefits (determined on the basis of actuarial value), and
(iii) does not require the payment of benefits to an alternate payee which are required to be paid to another *753alternate payee under another order previously determined to be a qualified domestic relations order.
29 U.S.C. § 1056(d)(3). If the DRO qualifies as a QDRO, then the person who is an alternate payee under the QDRO is considered a beneficiary under the plan. 29 U.S.C. § 1056(d)(3)(J).
The circuit court provided the following reasoning for denying entry of Mrs. Griffin’s proposed QDRO: 1) The final decree and the PSA did not substantially comply with ERISA’s QDRO specificity requirements at the time the benefits became payable, thus preventing a postmortem qualification of either DRO (the final decree or PSA) as a QDRO; 2) Mr. Griffin’s retirement benefits in the Salaried Savings Plan vested entirely in Cowser-Griffin as the designated beneficiary and surviving spouse once Mr. Griffin died, and; 3) The Plan was not put on notice of alternate payees prior to the plan participant’s death.
We hold that the circuit court erred in its analysis denying entry of the QDRO for the following reasons.
C. The QDRO is the Tool by which State Courts Can Enforce Marital Property Settlements
The Griffin PSA was incorporated into the final decree of divorce, and its terms should be enforced by the circuit court. The Code of Virginia provides for reinstatement of divorce suits to allow parties to obtain full relief:
In any suit which has been stricken from the docket, and in which complete relief has not been obtained, upon the motion or application of either party to the original proceedings, the same shall be reinstated upon the docket for such purposes as may be necessary to grant full relief to all parties.
Code § 20-121.1. “[M]arital property settlements entered into by competent parties upon valid consideration for lawful purposes are favored in the law and such will be enforced unless their illegality is clear and certain.” Derby v. Derby, 8 Va.App. 19, 25, 378 S.E.2d 74, 77 (1989) (quoting Cooley v. *754Cooley, 220 Va. 749, 752, 263 S.E.2d 49, 52 (1980)). More generally, “when a contract has been made, and either party refuses to perform the agreement, equity enforces the performance of the contract specifically, by compelling the refractory party to fulfill his engagement according to its terms.” Dunsmore v. Lyle, 87 Va. 391, 392, 12 S.E. 610, 611 (1891). Thus, as the legality of the PSA incorporated into the final decree is uncontested, the circuit court is responsible for enforcing its terms under state law.
The parties agreed in the PSA to “name the children of the marriage as co-beneficiaries under all 401 (k) plans and other such plans which would be distributed upon the death of either party.” Although Mr. Griffin initially named his children as beneficiaries, he later changed the designated beneficiary on the Salaried Savings Plan to Cowser-Griffin and named the children only as contingent beneficiaries. Thus, Mr. Griffin clearly breached the terms of the PSA by naming Cowser-Griffin as the beneficiary to his Salaried Savings Plan.
When a party breaches the terms of a property settlement agreement by failing to name beneficiaries on ERISA-governed accounts in accordance with the agreement, the only way for the circuit court to enforce the agreement is to issue a QDRO. 29 U.S.C. § 1056(d)(3); Kennedy, 555 U.S. at 288, 129 S.Ct. at 868 (ERISA prohibits assignment or alienation of benefits governed by the plan except in the case of a QDRO). “The QDRO provisions of ERISA do not suggest that a former spouse has no interest in the plans until she obtains a QDRO, they merely prevent her from enforcing her interest until the QDRO is obtained.” Gendreau v. Gendreau, 122 F.3d 815, 819 (9th Cir.1997). A spouse’s “interest in the pension plans (or, at a minimum, her right to obtain a QDRO which would in turn give her an interest in the plans) was established under state law at the time of the divorce decree.” Id. at 818. “State family law can ... create enforceable interests in the proceeds of an ERISA plan, so long as those interests are articulated in accord with the QDRO provision’s requirements.” Tise, 234 F.3d at 420; see also *755Turner v. Turner, 47 Va.App. 76, 79, 622 S.E.2d 263, 265 (2005) (this Court agreed with wife that the “QDRO simply was an administrative mechanism to effectuate the intent and purpose of the final decree’s award”).
D. A DRO May Be Revised to Meet the QDRO Requirements
While the PSA and final decree in this case do not meet the requirements of a QDRO, under state law a circuit court may make additional orders necessary to effectuate and enforce an order of the court. The circuit court has the authority to modify an order intended to affect or divide deferred compensation plans or retirement benefits for the purpose of establishing the order as a QDRO “or to revise or conform its terms so as to effectuate the expressed intent of the order.” Code § 20-107.3(K)(4). Code § 20-107.3(K)(4) “ ‘permits the court to revise its orders to comply with language required by federal law to effectuate the intended pension award, but not to substantively change the pension award itself.’ ” Craig v. Craig, 59 Va.App. 527, 539, 721 S.E.2d 24, 30 (2012) (quoting Irwin v. Irwin, 47 Va.App. 287, 297 n. 8, 623 S.E.2d 438, 443 n. 8 (2005)).
Further, in the Pension Protection Act of 2006, Congress makes clear that a QDRO will not fail solely because the order is issued after, or revises, another domestic relations order; nor will it fail solely because of the time at which it is issued. Pub.L. No. 109-280, § 1001, 120 Stat. 780, 1001 (2006) . Congress mandated that the Secretary of Labor issue regulations under ERISA to this end:
Not later than 1 year after the date of the enactment of this Act, the Secretary of Labor shall issue regulations under section 206(d)(3) of the Employee Retirement Security Act of 1974 and section 414(p) of the Internal Revenue Code of 1986 which clarify that—
(1) a domestic relations order otherwise meeting the requirements to be qualified domestic relations order ... *756shall not fail to be treated as a qualified domestic relations order solely because—
(A) the order is issued after, or revises, another domestic relations order or qualified domestic relations order; or
(B) of the time at which it is issued[.]
Id. (emphasis added). Thus, both the Pension Protection Act of 2006 and the Code of Virginia permit revisions to a DRO, as long as the revisions do not substantively change the award itself, in order to produce a QDRO.
In this case, it does not matter that the final decree and PSA were not QDROs because it is permissible under both federal and state law that an order issued after and revising these domestic relations orders can become a QDRO. Further, the proposed QDRO did not make any substantive changes to the benefits agreed upon in the final decree and PSA, the substantive portion of which is: “The parties agree to name the children of the marriage as co-beneficiaries under all 401K Plans and other such plans which would be distributed upon the death of either party.” The proposed QDRO provides “The Alternate Payees [James J. Griffin, III, and Gloria D. Griffin] shall be entitled to One Hundred Percent (100%) of the Member’s vested account under the Plan to be divided equally between them, fifty percent (50%) each.” The crux of both of these provisions is equal distribution of death benefits from the 401(k) Salaried Savings Plan to the children. While the DROs did not meet the specificity requirements of a QDRO, the purpose of the proposed QDRO is to meet these specificity requirements, as permitted by the federal and state laws.
E. The Proposed QDRO Meets ERISA’s Specificity Requirements
The proposed QDRO meets the specificity requirements found in 29 U.S.C. § 1056(d)(3). The proposed QDRO includes the information required by § 1056(d)(3)(C): (1) the names and mailing addresses of Mr. Griffin, the plan participant, and his children, the alternate payees, (2) the percentage *757of benefits each alternate payee should be paid, fifty-percent each, (3) the number of payments to which the order applies, single cash sums or “such other form of distribution as may be elected by the Alternate Payees under the terms of the Plan,” and (4) the plan to which the order applies, the interest of Mr. Griffin in the Dominion Salaried Savings Plan.
In accordance with 29 U.S.C. § 1056(d)(3)(D)®, the proposed QDRO does not require the Salaried Savings Plan to provide a type or form of benefit, or any option, not otherwise provided under the Plan. The proposed QDRO seeks one hundred percent of the benefits vested in Mr. Griffin’s Salaried Savings Plan in the form of a single cash sum or other distribution as the children may elect under the Plan. This is consistent with the Salaried Savings Plan which provides, “If you die while employed by Dominion, the entire value of your account is distributed to your beneficiary, including the value of all Company matching contributions that automatically become vested upon your death,” and “Non-spousal Beneficiaries must elect to receive the balance of your Account in an immediate lump sum payment or in annual payments totaling the balance of your Account that conclude within five (5) years after the date of your death.”
The fact that the proposed QDRO names beneficiaries other than Cowser-Griffin does not change the form of benefit. 29 U.S.C. § 1056(d)(3)(E)(i)(III) provides,
A domestic relations order shall not be treated as failing to meet the requirements of [29 U.S.C. § 1056(d)(3)(D)® ] solely because such order requires that payment of benefits be made to an alternate payee ... in any form in which such benefits may be paid under the plan to the participant (other than in the form of a joint and survivor annuity with respect to the alternate payee and his or her subsequent spouse).
Here, the Salaried Savings Plan is not a joint and survivor annuity, but rather a defined contribution plan.5 See 29 *758U.S.C. § 1002(34). Also, the Plan allowed Mr. Griffin to receive the entire balance of his account at any time after his retirement. Thus, the request in the proposed QDRO for the children, and not Cowser-Griffin, to receive payment of the benefits, in lump sum or other option available to them under the Plan, does not run afoul of the requirement that the QDRO only require a form of benefit already provided by the Plan.
The regulations issued by the Department of Labor pursuant to the Pension Protection Act of 2006 in the form of illustrative examples, apply to this case,6 and Examples 1 and 4 of 29 C.F.R. § 2530.206(d) specifically support the conclusion that the proposed QDRO in this case conforms to the “type or form of benefit” requirement of 29 U.S.C. § 1056(d)(3)®. In 29 C.F.R. § 2530.206(d)(2)(ex. 1) the “Participant and Spouse divorce, and their divorce decree provides that the parties will prepare a [DRO] assigning 50 percent of Participant’s benefits under a 401(k) plan to Spouse to be paid in monthly installments over a 10-year period.” Participant then dies while actively employed. Id. “A [DRO] consistent with the divorce decree is subsequently submitted to the 401(k) plan; however, *759the plan does not provide for 10-year installment payments of the type described in the order.” Id. The example provides that “the order does not fail to be treated as a QDRO solely because it is issued after the death of Participant, but the order would fail to be a QDRO ... because the order requires the plan to provide a type or form of benefit, or any option, not otherwise provided under the plan.” Id.
The example provided in 29 C.F.R. § 2530.206(d)(2)(ex. 4) is also applicable to this case: Participant retires and begins receiving benefit payments in the form of a straight life annuity based on the life of participant, and spouse waived her surviving spousal rights. Participant then divorces spouse after the annuity start date and presents the plan with a DRO “that eliminates the straight life annuity based on Participant’s life and provides for Spouse, as alternate payee, to receive all future benefits in the form of a straight life annuity based on the life of Spouse. The plan does not allow reannuitization with a new annuity starting date.” Id.
[T]he order does not fail to be a QDRO solely because it is issued after the annuity starting date, but the order would fail to be a QDRO ... because the order requires the plan to provide a type or form of benefit, or any option, not otherwise provided under the plan. However, the order would not fail to be a QDRO ... if instead it were to require all of Participant’s future payments under the plan to be paid instead to Spouse, as an alternate payee (so that payments that would otherwise be paid to the Participant during the Participant’s lifetime are instead to be made to the Spouse during the Participant’s lifetime).
Id.
In this case, the relevant benefit is the funds in a 401(k) payable in a lump sum, which is essentially what the proposed QDRO requests to be paid to the children. The proposed QDRO does not call for a change in the type or form of benefit such as payment over a term not offered by the Plan or a reannuitization not allowed under the Plan.
*760The proposed QDRO also meets the last two requirements in 29 U.S.C. § 1056(d)(3)(D). It does not call for the Plan to provide increased benefits determined on actuarial values, 29 U.S.C. § 1056(d)(3)(D)(ii), as Mr. Griffin’s Salaried Savings Plan benefits were not based on actuarial calculations, but only the sum of his contributions, Dominion’s matching contributions, and the investment earnings on those contributions. Further, the proposed QDRO does not require the payment of benefits to an alternate payee which are required to be paid to another alternate payee pursuant to a previously entered QDRO, 29 U.S.C. § 1056(d)(3)(D)(iii), as there is no previously entered QDRO in this case.
F. The Timing of the Proposed QDRO Does Not Cause it to Fail
The fact that the proposed QDRO was not entered before the circuit court or to the Plan until after Mr. Griffin’s death does not cause it to fail. As previously mentioned, in the Pension Protection Act of 2006 Congress ordered the Secretary of Labor to enter regulations clarifying that a DRO shall not fail to be treated as a QDRO solely because of the time at which it issued. 29 C.F.R. § 2530.206(c) gives examples illustrating how a DRO shall not fail to be treated as a QDRO solely because of the time at which it is issued. 29 C.F.R. § 2530.206(c)(2)(ex. 1) provides that a QDRO does not fail to be treated as a QDRO solely because it is issued after the death of the participant who died while actively employed and the order was subsequently submitted to the plan:
Example (1). Orders issued after death. Participant and Spouse divorce, and the administrator of Participant’s plan receives a domestic relations order, but the administrator finds the order deficient and determines that it is not a QDRO. Shortly thereafter, Participant dies while actively employed. A second domestic relations order correcting the defects in the first order is subsequently submitted to the plan. The second order does not fail to be treated as a QDRO solely because it is issued after the death of the Participant. The result would be the same even if no order *761had been issued before the Participant’s death, in other words, the order issued after death were the only order.
Thus, in the present case, the proposed QDRO should not fail solely because it was not entered prior to Mr. Griffin’s death, and the fact that the Plan was not on notice of an alternate payee is of no consequence according to the last sentence of the instruction example in the applicable federal regulation.
G. The Plan Benefits Did Not Vest in CowserGriffin upon Mr. Griffin’s Death
The circuit court concluded that “under controlling federal law” Mr. Griffin’s retirement benefits in the Salaried Savings Plan vested entirely in Cowser-Griffin at the moment of Mr. Griffin’s death. However, federal law does not dictate that the benefits vested in Cowser-Griffin at Mr. Griffin’s death; rather, ERISA generally obligates administrators to manage ERISA plans “in accordance with the documents and instruments governing them.” 29 U.S.C. § 1104(a)(1)(D). In this case, the Salaried Savings Plan documents only refer to “vesting” in terms of benefits vesting in the participant’s account. The Salaried Savings Plan does not address the vesting of benefits in a spouse or other beneficiary, but rather defines vesting as the participant’s “non-forfeitable right to part or all of the value of [his] account.” The Plan states that the participant is “always vested in the value of [his] employee Pre-tax, After-tax, and Rollover contributions and the investment earnings on those contributions,” and is vested in company matching contributions and their earnings after three years of service. While the Plan requires spousal consent for a participant to designate a beneficiary other than his current spouse as the recipient of the funds vested in the participant’s account, it also provides that a QDRO may assign the participant’s Salaried Savings Plan benefits to a former spouse, child, or other dependent.
Moreover, ERISA contemplates situations where a benefit becomes payable, but a court or the plan administrator takes months to determine if a DRO qualifies as a QDRO. 29 U.S.C. § 1056(d)(3)(H) provides:
*762(i) During any period in which the issue of whether a domestic relations order is a qualified domestic relations order is being determined (by the plan administrator, by a court of competent jurisdiction, or otherwise), the plan administrator shall separately account for the amounts (hereinafter in this subparagraph referred to as the “segregated amounts”) which would have been payable to the alternate payee during such period if the order had been determined to be a qualified domestic relations order.
(ii) If within the 18-month period described in clause (v) the order (or modification thereof) is determined to be a qualified domestic relations order, the plan administrator shall pay the segregated amounts (including any interest thereon) to the person or persons entitled thereto.
$$$$$$
(iv) Any determination that an order is a qualified domestic relations order which is made after the close of the 18-month period described in clause (v) shall be applied prospectively only.
Thus, a proposed QDRO does not automatically fail solely because a benefit has become payable and the correct beneficiary or beneficiaries are not yet determined. This statute provides for the situation of this case where a QDRO would be presented to the plan administrator after benefits become payable and the proper beneficiary is not yet determined or may have to be re-determined; this runs contrary to the circuit court’s finding that benefits automatically vest in the surviving spouse where there is no preexisting QDRO.7 The court in Tise likewise interpreted 29 U.S.C. § 1056(d)(3)(H): “the statute necessarily permits an alternate payee who has obtained a state law DRO before the plan participant’s retirement, death, or other benefit-triggering event to perfect the *763DRO into a QDRO thereafter (subject to the 18-month period after which any previously-due benefits are payable to the original beneficiary).” Tise, 234 F.3d at 422-23.
Hopkins v. AT & T Global Information Solutions Co., 105 F.3d 153 (4th Cir.1997), is the case Mr. Griffin’s estate relies on as the “keystone case on the issue of vested rights for surviving spouses.” Hopkins is easily distinguishable from the present case because of the form of benefit at issue in the case. In Hopkins, husband retired and began receiving pension benefits in the form of a qualified joint and survivor annuity, where he received a fixed income for his life (“pension benefits”), and if his spouse at retirement survived him, she would receive 50% of that fixed income for the remainder of her life (“surviving spouse benefits”). Id. at 154-55. Also, if husband died prior to retirement, pension benefits would be paid to his spouse as preretirement survivor annuity. Id. at 155 n. 1. Husband’s former spouse sought judgment to collect alimony against husband’s pension benefits and against his current spouse’s (also his spouse at retirement) surviving spouse benefits. The state court granted two judgment orders, one against the pension benefits and one against the surviving spouse benefits. Id. at 155. AT & T conceded that the order concerning the pension benefits was a QDRO, but argued that “because the Surviving Spouse Benefits had already vested in [the current spouse], the Surviving Spouse Order is not a QDRO.” Id.
The Fourth Circuit noted that the question of whether a participant’s current' spouse has a vested interest in the surviving spouse benefits is a question of first impression on the federal courts and pointed out that ERISA does not explicitly state when a current spouse’s interest in the surviving spouse benefits vests. Id. at 156. “However, after carefully reviewing the overall framework of ERISA, especially the provisions governing joint and survivor annuities, we conclude that the Surviving Spouse Benefits vest in the participant’s current spouse on the date the participant retires.” Id. The Hopkins court relied on the strict regulations that specifically apply to joint and survivor annuities and the accompany*764ing surviving spouse benefits set forth in 29 U.S.C. § 1055 as support for its holding that the participant’s spouse at the time of retirement has a vested interest in the surviving spouse benefits. Id. at 156-57. The court also noted that because the disbursement of the plan benefits is “based on actuarial computations, the plan administrator must know the life expectancy of the person receiving the Surviving Spouse Benefits to determine the participant’s monthly Pension Benefits. As a result, the plan administrator needs to know, on the day the participant retires, to whom the Surviving Spouse Benefits is payable.” Id. at 157 n. 7. Additionally, the court noted that a former spouse could obtain an interest in the participant’s pension benefits by obtaining a QDRO at any time, as the former spouse did. Id. at 157.
As the surviving spouse benefits in Hopkins were a product of a joint and survivor annuity regulated by 29 U.S.C. § 1055, Hopkins is not persuasive on the subject of vesting as Mr. Griffin’s estate suggests because the Salaried Savings Plan is exempted from § 1055 application. Further, unlike the plan in Hopkins, Mr. Griffin’s Salaried Savings Plan benefits do not depend on actuarial calculations of the life of Mr. Griffin or Cowser-Griffin, or provide defined retirement benefits to Cowser-Griffin for the span of her life as predicted at Mr. Griffin’s death or retirement.
Mr. Griffin’s estate also relies on Carmona v. Carmona, 544 F.3d 988 (9th Cir.2008), to support his argument that Mr. Griffin’s benefits vested in Cowser-Griffin on the date of his death. However, like Hopkins, the benefits at issue in Carmona are qualified joint survivor annuity benefits. The court concluded, “once a participant retires, the spouse at the time becomes the ‘surviving spouse’ entitled to the QJSA benefits.” Id. at 1002. “ERISA’s surviving spouse benefits established in section 1055 were created in part ‘to ensure a stream of income to surviving spouses.’ ” Id. (quoting Boggs, 520 U.S. at 843, 117 S.Ct. at 1761). Once again, the Salaried Savings Plan benefits at issue in this case do not qualify as surviving spouse annuity benefits established in 29 U.S.C. § 1055.
*765The United States Court of Appeals for the Ninth Circuit in Hamilton v. Washington State Plumbing & Pipefitting Industry Pension Plan, 433 F.3d 1091 (9th Cir.2006), has also distinguished treatment of surviving spouse benefits regulated by 29 U.S.C. § 1055 from a participant’s pension benefits upon his retirement or death. The court found that the rights of a surviving spouse to a preretirement survivor annuity, governed by 29 U.S.C. § 1055, are available only to a surviving spouse or a former spouse properly designated, but not available to children as alternate payees pursuant to a QDRO. Id. at 1101. However, the court noted that “designating children in a QDRO as alternate payees under a pension plan can provide a myriad of potential benefits to the children, depending on their ages, the date of the participant’s disability, retirement, or death, and the participant’s marital status.” Id. Thus, the court distinguished the effectiveness of a QDRO entered against surviving spouse annuities regulated by 29 U.S.C. § 1055 and other pension benefits that are not § 1055 surviving spouse annuities.
The Tise court also drew a distinction between a participant’s pension benefits, which were at issue before the court, and surviving spouse benefits pursuant to 29 U.S.C. § 1055:
Whether a QDRO issued after a plan participant’s retirement may affect the distribution of surviving spouse benefits pursuant to 29 U.S.C. § 1055 implicates statutory provisions and policy considerations other than those here applicable. See [Hopkins, 105 F.3d at 156-57]; Rivers v. Central & South West Corp., 186 F.3d 681, 683-84 (5th Cir.1999). We therefore leave to a ease concerning § 1055 the determination whether, as Hopkins and Rivers determined, the plan participant’s retirement cuts off a putative alternate payee’s right to obtain an enforceable QDRO substituting the alternate payee for the surviving spouse with regard to statutory surviving spouse benefits.
Tise, 234 F.3d at 422 n. 6.
In the Commonwealth, it is well established that “ ‘property rights and interests [become] vested in the parties *766when they [agree] upon them, set them forth in a valid separation agreement, and [have] them incorporated into their final divorce decree.’ ” Irwin, 47 Va.App. at 294, 623 S.E.2d at 441 (quoting Himes v. Himes, 12 Va.App. 966, 970, 407 S.E.2d 694, 697 (1991)). “Such an agreement creates vested property rights in the parties by virtue of the judicial sanction and determination of the court” and constitutes “a final adjudication of the property rights of the parties” to the divorce action. Shoosmith v. Scott, 217 Va. 290, 292, 227 S.E.2d 729, 731 (1976). Thus, the right of the children to the benefits of Mr. Griffin’s 401 (k) Salaried Savings Plan vested when the parties agreed to “name the children of the marriage as co-beneficiaries under all 401(k) plans and other such plans which would be distributed upon the death of either party.” The QDRO is simply an administrative mechanism to enforce these rights that accrue under state law, and federal law has not overridden this mechanism by determining that the benefits of a plan excepted from 29 U.S.C. § 1055 vest in the surviving spouse at the participant’s death. Thus, the benefit of the Commonwealth’s law has not been pre-empted here.
III. CONCLUSION
Mrs. Griffin’s proposed QDRO meets the specific requirements of 29 U.S.C. § 1056(d)(3). The Salaried Savings Plan escapes application of 29 U.S.C. § 1055, and the benefits did not vest in Cowser-Griffin at Mr. Griffin’s death. Therefore, we reverse and remand with direction to the circuit court to enter the proposed QDRO.
Reversed and remanded.
. Mr. Griffin also had a special retirement account that was included as part of his Dominion Power Pension Plan. The special retirement account goes to the named beneficiary if the participant dies before retirement. Mr. Griffin named Cowser-Griffin as the beneficiary of the special retirement account.
In Mrs. Griffin's original motion before the circuit court, she stated that both the Salaried Savings Plan and the special retirement account under his Pension Fund are both subject to a QDRO and the focus of her motion. However, the proposed QDRO only names the Salaried Savings Plan, and not the Dominion Power Pension Plan or special retirement account that Mrs. Griffin mentions in her original motion and her brief. The circuit court only addressed the Dominion Salaried Savings Plan, and Mrs. Griffin did not note any specific objection stating that the circuit court failed to address additional plans or funds. Therefore, we only address the Dominion Salaried Savings Plan as it was the only plan addressed in the proposed QDRO.
. The term "individual account plan” or "defined contribution plan” means a pension plan which provided for an individual account for each participant and for benefits based solely upon the amount contributed to the participant’s account, and any income, expenses, gains and losses, and any forfeitures of accounts of other participants which may be allocated to such participant’s account.
29 U.S.C. § 1002(34).
. The chief point of contention between the majority and the dissent lies in the applicability of this latter parenthetical language. Contrary to the view of the dissent, we conclude that the language set off in these parentheses after the word “spouse” is inapplicable in this case because the Salaried Savings Plan "is payable in full, on the death of the *748participant, to the participant's surviving spouse.” 29 U.S.C. § 1055(b)(l)(C)(i). The Salaried Savings Plan thus meets these requirements to be excepted from § 1055 application, and therefore we need not look past the opening parenthesis and immediately following "or” for other situations to which the exception applies.
. We note that the deceased plan participant in Boggs did receive a lump-sum distribution from his employer’s savings plan upon his retirement. Boggs, 520 U.S. at 836, 117 S.Ct. at 1758. However, he rolled the lump sum distribution into an Individual Retirement Account (“IRA”), and the Court analyzed the proper beneficiary of the IRA separately from the qualified joint and survivor monthly annuity payments payable to the surviving spouse from the employer’s retirement program. The Court addressed the qualified joint and survivor annuity with a thorough analysis of § 1055 in Section III of the opinion, and while the IRA was addressed in the following section, the IRA was not addressed in the Court’s § 1055 analysis. Id. at 836-37, 842, 844-45, 117 S.Ct. at 1758-59, 1761, 1762-63.
. A "qualified joint and survivor annuity” is an annuity
*758for the life of the participant with a survivor annuity for the life of the spouse which is equal to the applicable percentage of the amount of the annuity which is payable during the joint lives of the participant and the spouse, and (ii) which is the actuarial equivalent of a single annuity for the life of the participant. Such term also includes any annuity in the form having the effect of an annuity described in the preceding sentence.
29 U.S.C. § 1055(d). The Salaried Savings Plan is not an annuity and is not based on actuarial calculations; it is a defined contribution plan. The Plan benefits are based on the participant’s contributions, Dominion’s matching contributions, and the investment earnings on the contributions. A specific retirement benefit is not guaranteed; rather the Salaried Savings Plan is designed to encourage retirement savings.
. Where Congress has expressly delegated authority to an agency to elucidate a specific provision of a statute by regulation as it did in the Pension Protection Act of 2006, as cited supra, ”[s]uch legislative regulations are given controlling weight unless they are arbitrary, capricious, or manifestly contrary to the statute.” Chevron, U.S.A., Inc. v. NRDC, Inc., 467 U.S. 837, 843-44, 104 S.Ct. 2778, 2782, 81 L.Ed.2d 694 (1984).
. Our analysis is confined to the Salaried Savings Plan at issue in this case, to which 29 U.S.C. § 1055 does not apply. We recognize that different vesting rules may apply to joint and survivor annuities, preretirement survivor annuities, or other plans to which 29 U.S.C. § 1055 does apply.