Questions tagged [nusmv]

NuSMV is a model checking software free for non-commercial and academic purposes. It is used to verify and prove hardware and software.

93 questions

-1

votes

1 answer

Digicode in Nusmv

i am new with NUSMV i am trying to modelise a digicode for reconize 41708 but user can't do more 3 error. if you enter more 3 error the system go to state bloked to wait when you enter special code to be unblocked. it is my code if you cant help me…

nusmv

asked Feb 22 '18 at 14:37

Lombrejaune

-2

votes

1 answer

Elevator Control Using UPPAAL or NuSMV

I am new to NuSMV and UPPAAL and am working on this problem. Can any one provide a solution to the following question? Model and analyze a control system of an elevator-system of your own design serving a number of floors (say 4 …