Formal verification of standards for distance vector routing protocols