Warning!
Prerequisite
For this tutorial we assume that you know how to launch PLASMA Lab. If you don’t know how to do that please refer to the download page or directly run PLASMA Lab from your web browser.
PLASMA Lab Graphical User Interface (GUI) is composed of several elements:
- A main tabbed panel, which display projects and experimentation/simulation panels.
- A project explorer, which shows the tree structure of opened projects.
We will have a later look at the experimentation panel so let’s focus on the project panel. In this panel we can edit two types of data. Models that describe our system and properties and contracts that we want to verify. For more information on models and properties see the languages page.
Download this sample project and open it in PLASMA Lab. This can be done using the File menu. You can also find more examples here.
PLASMA Lab GUI with open model
You can now edit your model and properties. You could also create new properties and models or import them using the File menu. Be sure to select the right type when creating a new data or importing one. If you want to rename a file you can do so by right-clicking on the item you want to rename in the project explorer.
At the bottom of the edit panel you can find error messages from the properties and models you are editing, as well as an indication showing the type of the selected data. It is not yet possible to change the type of a data object.
- You can then test your model in the simulation panel.
