The ITU has designed a poll-based retransmission scheme as part of the Service Specific Connection Oriented Protocol for ATM systems. The basic scheme consists of the transmitter periodically sending polls to the destination indicating which frames have been sent, and the receiver responding with a status message indicating which of these frames have not been received. Many additional features have been included in the scheme in order to reduce the retransmission delay and prevent unnecessary retransmissions. With the added complexity of these features, it is not readily apparent whether the scheme operates correctly. In this paper, it is shown that the scheme does satisfy the properties of liveness and safety: the source can continue forever to accept frames for transmission, and all frames are eventually delivered in proper sequence at the destination, assuming that certain conditions hold. In addition, it is shown that unnecessary retransmissions do not occur.