ifndefjosh/sstamina repository overview

⁠STAMINA (STORM Integration)

⁠Upstream Repo

https://github.com/fluentverification/stamina-storm⁠

⁠Description

C++ version of stamina integrating with the storm probabilistic model checker at https://github.com/moves-rwth/storm⁠. This version is different from the Java version⁠, and is under active development. STAMINA/STORM is now both usable and blazing fast, thanks to our integration with STORM as well as our own improvements over STAMINA/PRISM.

STAMINA NOW HAS A WEBSITE!

Check out our website at https://staminachecker.org⁠ or view the website's source code⁠ on GitHub.