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.