Controlador de Segurança para Condução Autónoma em Auto-estradas 🚗

Projeto de CSI

Projeto desenvolvido por nós em Alloy no ambito da Unidade Curricular de Cálculo de Sistemas de Informação (CSI) no ano letivo de 2025/2026.

Name		Name	Last commit message	Last commit date
Latest commit History 65 Commits
drafts		drafts
README.md		README.md
multi_lanes.als		multi_lanes.als
single_lane.als		single_lane.als
specification_v3.pdf		specification_v3.pdf