Project done for my B.Tech course on Formal Methods for System Verification
Repository from Github https://github.comsgomber/traffic-controller-NuSMVRepository from Github https://github.comsgomber/traffic-controller-NuSMV
