Please note that both of these links are external. They will take you to our GitHub pages.
To get STAMINA/STORM, please clone the following GitHub URL:
To get STAMINA/PRISM, please clone the following GitHub URL:
STAMINA/STORM is the newest version of STAMINA, integrating with the STORM model checker. It supports the STAMINA 2.0, 2.5, and will soon support 3.0 and multithreading.
STAMINA/PRISM is the legacy version of STAMINA, integrating with the PRISM model checker. It is written in Java and supports the STAMINA 1.0 and 2.0 algorithms.