Running on Windows

There are several ways to run VeriMove on Windows:

  • From the VeriMove main window
  • From the command line
  • From a script
  • Through unattended processing using Dispatch Manager