STAMINA/PRISM 2.0
Infinite state-space truncator which generates a probability within a window
|
This is the complete list of members for stamina.StaminaModelChecker, including all inherited members.
modelCheckStamina(PropertiesFile propertiesFile, Property prop) | stamina.StaminaModelChecker | inline |
StaminaModelChecker(PrismLog mainLog) | stamina.StaminaModelChecker | inline |