Modeling concurrent systems in NuSMV

[@tdsimpson]

The traffic light example is hard to understand, when that is not how traffic lights work.

[@MSMAYUR008]

Hii,Thank you for your online Videos. I have Problem with Simulation in NuSMV tool. When i give command "simulate -i -k 3" in Asynschronous System of Traffic light then i no Response from NuSMV tool and then after whatever command i will give no Response.So can you tell why this happens ? i am using NuSMV 2.6.0 with Eclipse using NuSMV plug-in

[@vishnuteja7522]

Thanks a lot buddy..Can you please give a resource which you used to learn how to use NuSMV with practical examples like you have discussed. Thanking you in anticipation

[@modelchecking4232]

+Vishnu Teja Sorry for a delayed response. Hope it's still useful! I found two books useful for learning NuSMV/model checking: 1. Logic in Computer Science - by Huth and Ryan 2. Principles of Model checking - by Baier and Katoen (has many examples)