/traffic-light

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

Primary LanguageTeX

Stargazers