must have pp는 확신에 가까운 추측입니다.
may have pp가 불확실한 추측이죠.

cannot have pp는 말했을 리가 없다로 확신에 가까운 추측입니다.
must not have pp는 말 안했을지도 몰라로 불확실한 추측입니다.

글서 must have pp의 부정형은 엄밀히 말하면 cannot have pp가 맞습니다.