1) Use

    ./NuSMV -bmc -bmc_length bound [path to file smv]

Example

    ./NuSMV -bmc -bmc_length 1 ../../examples/adult/tcrowdOut.smv