Efficient verification of a multicast protocol for mobile computing