Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking : a case study