Formal Verification of DC Distribution Networks