STAMINA Documentation

I would like to:
Learn how to use STAMINA Develop with STAMINA

Usage documentation

Documentation for the usage of STAMINA can be found at the wiki. This includes STAMINA usage, GUI, algorithm development, and command-line option documentation.

Development Documentation

REST API

STAMINA is now available via REST API! Please visit this page to get started!

STAMINA Information FLUENT Information Papers and Research
STAMINA/STORM State-space truncation (STAMINA) Google Scholar
STAMINA/PRISM
Contact Developers
Fluent Website
Contact Fluent
STAMINA is developed at Utah State University and is part of the tools developed by the FLUENT Team. The STAMINA tool is licensed under the GPLv3 license, and the model checkers it integrates with, STORM and PRISM, are under the GPL 3.0 and 2.0 licenses respectively.
This website is designed and developed by hand by Josh Jeppson. The content and design of this website is licensed under the CC-BY-SA-NC license. This website uses the Bootstrap Icons licensed under the MIT license.