3 ms·
Apparently the automated control system consists of 200,000 lines of formally-verified C++: https://ansymore.uantwerpen.be/system/files/uploads/courses/SE3BAC/p
by gjjvdburg 3y ago
Apparently the automated control system consists of 200,000 lines of formally-verified C++: https://ansymore.uantwerpen.be/system/files/uploads/courses/SE3BAC/p07_1_surgeBarrier.pdf https://ansymore.uantwerpen.be/system/files/uploads/courses/...