-
Notifications
You must be signed in to change notification settings - Fork 2
Home
This wiki is not used anymore. Please visit our wiki on our website for the most up-to-date documentation.
Welcome to the wiki for the version of STAMINA which integrates with the STORM model checking engine. This version of STAMINA will be the primary version of STAMINA going forward, as the Java version (which integrates with the PRISM model checking engine is being phased out. The goals for this project are as follows:
- Cleaner code, allowing for more flexibility to work on in the future and add functionality and features.
- Increased speed. Not only is the STORM engine much faster than the PRISM engine, but we intend to make changes to the STAMINA algorithm which reduce runtime as well, especially on large models.
For usage, features and other information, please browse the other pages of this wiki. STAMINA/C++ is not production ready yet, but we're getting really close.
The STAMINA software and state-truncation algorithm are developed at Utah State University within Dr. Zhen Zhang's research group. STAMINA/C++ is primarily developed by Joshua Jeppson, BS.
This wiki is outdated! Please visit https://staminachecker.org/documentation/wiki/ for full up-to-date wiki.