1) Use

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

Example

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