Search code examples
model-checking

How to run my smv file on NuSMV

I have installed NuSMV 2.5.4 on a ubuntu machine. When I run it in interactive mode using the command NuSMV -int first.smv I get the following response cannot open input file first.smv. Why is that? I have placed my smv file(first.smv) in the bin folder.

Solution

  • Your first.smv should be in the folder that you run the command, not in the bin folder