Efficient Verification of a Multicast Protocol for Mobile Computing