Need help installing STAMINA? Check out this page.
Download Latest Release
- QEST23 submission
- STAMINA/Storm (2.2.5)
- STAMINA/STORM 2.2.1
- STAMINA/STORM Version 0.1 alpha (non-optimized)
- Version 2.0 (Only PRISM Integration)
- Version 1.1 (Only PRISM Integration)
Get Source Code (Main Repository)
To cite STAMINA in papers, use one of the following citations:
To cite STAMINA 2.0, please use the tool paper from VMCAI'22:
To cite STAMINA 1.0, please use the tool paper from CAV'19:
STAMINA 2.5 and STAMINA 3.0 don't yet have papers published about them as they are currently under development. When they do have papers, they will be placed here.