Results

P_MIN: UNDEFINED
P_MAX: UNDEFINED
Window: UNDEFINED

Job Information

Job Status: Unfinished
Job UID: UNDEFINED
Last checked: UNDEFINED Refresh

API URL: Change

Full Logs:

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.