This repository contains a comprehensive Arduino-based traffic light control system that has been subjected to rigorous ontological analysis and formal safety verification. The project implements UK ...