Go to http://nusmv.irst.itc.it/
Follow instructions to install, and try to see if sample models model-check.
See NuSMV
Tutorial .
Read second chapter and test your installation using
the instructions given in the beginning of Chapter 3.
Study the syntax for modeling in NuSMV.
I personally did my installation in Windows with no problems.