Using format methods to validate OTA protocol