Which version of STAMINA do you want?

STAMINA/STORM STAMINA/PRISM

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:

git clone https://github.com/fluentverification/stamina-storm stamina-storm

To get STAMINA/PRISM, please clone the following GitHub URL:

git clone https://github.com/fluentverification/stamina-prism stamina-prism

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.