Project done for my B.Tech course on Formal Methods for System Verification
Please refer to the TrafficController file for details.
sgomber/traffic-controller-NuSMV
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.