STAMINA/PRISM 2.0
Infinite state-space truncator which generates a probability within a window
stamina.StaminaModelChecker Member List

This is the complete list of members for stamina.StaminaModelChecker, including all inherited members.

modelCheckStamina(PropertiesFile propertiesFile, Property prop)stamina.StaminaModelCheckerinline
StaminaModelChecker(PrismLog mainLog)stamina.StaminaModelCheckerinline
Generated by doxygen 1.9.3