2.1 Installation and Start

Start off by downloading BMotionWeb for your operating system. You can find the latest version of the tool at http://www.stups.hhu.de/ProB/index.php5/BMotionWeb. Decompress the archive and expand the directory if necessary. Navigate to the application folder and start BMotionWeb by executing the bmotion-prob binary. After a short loading time you should see the window shown in Figure 2.1.

\includegraphics[width=.8\textwidth ]{img/tutorial/clientstartscreen.png}
Figure 2.1: BMotionWeb Client