################################################## Analysis of model properties ################################################## 1. Click on the **Model checking (PRISM)** button on the toolbar to open up the dialog window below that will allow you to specify the properties to analyse in your model. .. figure:: model_checking_prism_tab.png :scale: 90 :alt: alternate text :align: center 2. Load the model checking parameter file **model_checking_prism.params** by clicking **Load** from the dialog toolbar and navigating to the location of the negative autoregulation model. 3. Check the parameters then run the experiment by clicking on the **Perform** button. 4. Once the experiment has finished the following tab will appear automatically showing a plot of the results. .. figure:: model_checking_results.png :scale: 100 :alt: alternate text :align: center For more details on how to use the **Infobiotics Workbench** you can read our `tutorials `_.