nusmv

Running NuSMV 2.6 on Windows


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


Solution

  • 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