STAMINA GUIs
There are two GUIs written for STAMINA, the "legacy" GUI (called that because it supports the "legacy" STAMINA/PRISM, and the STAMINA/STORM GUI, called xstamina. Both GUIs are written using Qt and should be able to be compiled and run cross-platform. However, the new GUI is far more advanced, including features such as PRISM model editing, a CSL property tree editor, and a direct link to the STAMINA/STORM core as it is written directly in C++.
If you are new to STAMINA, PRISM models, or formal verification in general, it is recommended to use the newer, more comprehensive xstamina GUI. It includes a text editor with support for PRISM model syntax highlighting. Additionally, the property tree builder is an excellent way to get familiar with building CSL properties.
Dependencies for each of the GUIs will be discussed on their respective wiki pages.