STAMINA GUI (Legacy)

While STAMINA/STORM contains a work-in-progress full GUI that allows you to edit model files and build CSL properties, in order to access both STAMINA/STORM and STAMINA/PRISM from a GUI, we provide a very minimal dialog box that allows you to edit some basic settings and select and run model files. This GUI provides access to both STAMINA/STORM and STAMINA/PRISM, but it is recommended for STAMINA/PRISM as STAMINA/STORM provides a more fleshed-out, fully-featured GUI.

1. Model/Modules file. The file which contains the modules which in their entirety, describe the PRISM model.
2. Properties file: The file with the list of CSL properties to use
3. Undefined constants: PRISM allows you to specify constants at runtime, and therefore STAMINA/JAVA does as well
4. The file to export the output of STAMINA to.
5. The choice of whether to use STAMINA/STORM or STAMINA/PRISM
6. The output window where STAMINA will dump log and results.
7. Opens the "More Options" window
8. Analyzes the model

(Click to expand)

×

1. Reduction factor (κ)
2. Kappa reduction factor (r_κ)
3. Approximation factor
4. Required maximal probability window for STAMINA to terminate
5. The maximum number of refinement iterations
6. Will there be property refinement?
7. Export the modified model file with the Absorbing module (generally used for debugging and proof)
8. Export the modified CSL properties (generally used for debugging and proof)
9. Use rank transitions.
10. Uses default method for model checking
11. Uses Power method for model checking
12. Uses Jacobi method for model checking
13. Uses Gauss-Seidel method for model checking
14. Uses backwards Gauss-Seidel method for model checking
15. Set defaults
16. Finish (checks validity of options)