This document describes the specification and verification of the TetherToken using the Certora Prover and manual code review findings. The work was undertaken from 19 February 2024 to 29 February 2024.