This project developed a formal specification using Z-notation for container control system. It covers initialization, new container terminal, delivery and pickup, container terminal account, ships total account, and freight company account. The Z-notation formal specification language is based on set theory and logic specification of the system design.