STAMINA/PRISM 2.0
Infinite state-space truncator which generates a probability within a window
|
Cstamina.Options | |
Cstamina.StaminaCL | |
▼CModelGenerator | |
Cstamina.InfCTMCModelGenerator | |
▼CPrism | |
Cstamina.StaminaModelChecker | |
▼CState | |
Cstamina.ProbState |