0

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

Reddy90
  • 79
  • 6
  • 1
    *"I can't actually run the application"* is a very **vague** problem description: are you getting any error, or do you simply don't know how to use the tool? Please, show us what you tried, and describe the outcome. – Patrick Trentin Nov 22 '17 at 10:30

1 Answers1

1

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

Brishna Batool
  • 445
  • 3
  • 15