Giters

sgomber / traffic-controller-NuSMV

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

nusmvtraffic-controllerformal-verificationformal-methodsmodel-checkingmodel-checker

traffic-controller-NuSMV

Project done for my B.Tech course on Formal Methods for System Verification

Please refer to the TrafficController file for details.

About

Project done for my B.Tech course on Formal Methods for System Verification

nusmvtraffic-controllerformal-verificationformal-methodsmodel-checkingmodel-checker