 A NuSMV command usually consists of a command name and arguments to the invoked command.It is possible to make NuSMV read and execute a sequence of commands from a file, through the command line option -source