/traffic-light

A formal verification approach to the design of a embedded traffic light system.

Primary LanguageTeX

No issues in this repository yet.