sgomber / traffic-controller-NuSMV

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

nusmv traffic-controller formal-verification formal-methods model-checking model-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

nusmv traffic-controller formal-verification formal-methods model-checking model-checker