I have downloaded the files from the NuSMV website, but i can't actually run the application on my system. Any leads will be appreciated.
The file contains the folders - bin,lib,share,include
You will have to run it over command line.
Open cmd in /bin and run the command NuSMV.exe filename.smv
Explore the command line options and you will be able to use it however you need to