Apparently the automated control system consists of 200,000 lines of formally-verified C++: https://ansymore.uantwerpen.be/system/files/uploads/courses/...