Simulation and Verification of UDP Protocol with Fault-Tolerant Mechanism | IEEE Conference Publication | IEEE Xplore