STAMINA/PRISM 2.0
Infinite state-space truncator which generates a probability within a window
Class Hierarchy
This inheritance list is sorted roughly, but not completely, alphabetically:
[detail level 12]
 Cstamina.Options
 Cstamina.StaminaCL
 ▼CModelGenerator
 Cstamina.InfCTMCModelGenerator
 ▼CPrism
 Cstamina.StaminaModelChecker
 ▼CState
 Cstamina.ProbState
Generated by doxygen 1.9.3