FormalVerification-NuSVM-MiniProject To execute the script, open command prompt in NuSVM's directory and execute the following line: $ .\NuSMV.exe 'script's relative path