STAMINA/PRISM
2.0
Infinite state-space truncator which generates a probability within a window
Class Index
I
|
O
|
P
|
S
I
InfCTMCModelGenerator
(stamina)
O
Options
(stamina)
P
ProbState
(stamina)
S
StaminaCL
(stamina)
StaminaModelChecker
(stamina)
Generated by
1.9.3