Loading a Counter Example Simulation for a Complete System


1. From the DESpot main window, open the project for which you want to load the simulation.
2. Click on the button.
3. The configuration wizard pops up. Click on the button.

4. From the menu bar, click File | Open

5. Select the file and click on the button.


«   |   »