xbreu / automotive-system Star 0 Code Issues Pull requests Development of a formal model for an adaptive exterior light and speed control system. verification computer-engineering software refinement formal-methods feup feup-mfs adaptive-exterior-light-system speed-control-system Updated Jun 14, 2022 Alloy