Get STAMINA
Need help installing STAMINA? Check out this page.
Official Releases
Download Latest Release
Try STAMINA Online
Github Releases
- 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)
Source Code
Get Source Code (Main Repository)
Repositories
Citing Stamina
To cite STAMINA in papers, use one of the following citations:
To cite STAMINA/Storm, please use the following paper from QEST'23
Jeppson, J. et al. (2023). STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker. In: Jansen, N., Tribastone, M. (eds) Quantitative Evaluation of Systems. QEST 2023. Lecture Notes in Computer Science, vol 14287. Springer, Cham. https://doi.org/10.1007/978-3-031-43835-6_7
To cite STAMINA 2.0, please use the tool paper from VMCAI'22:
Roberts R., Neupane T., Buecherl L., Myers C.J., Zhang Z. (2022) STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking. In: Bernd F., Wies, T. (eds) Verification, Model Checking, and Abstract Interpretation. VMCAI 2022. Lecture Notes in Computer Science, Springer, Cham. Download link: https://link.springer.com/chapter/10.1007/978-3-030-94583-1_16
To cite STAMINA 1.0, please use the tool paper from CAV'19:
Neupane T., Myers C.J., Madsen C., Zheng H., Zhang Z. (2019) STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis. In: Dillig I., Tasiran S. (eds) Computer Aided Verification. CAV 2019. Lecture Notes in Computer Science, vol 11561. Springer, Cham. Download link: https://link.springer.com/chapter/10.1007/978-3-030-25540-4_31
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.