{stamina}

Welcome to the front page for STAMINA API Documentation

The STAMINA codebases are fairly modestly sized, but we still have documentation for both STAMINA/PRISM and STAMINA/STORM.

STAMINA/STORM Documentation STAMINA/PRISM Documentation

Please submit any issue requests regarding the code on GitHub. Additionally, if you would like to contribute, you may create pull requests which may be merged on GitHub.

STAMINA REST API

We are also working on setting up a queryable REST API for STAMINA to be used on the cloud. When this is complete, this page will also include how to formulate a query for that API.

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.