STAMINA/PRISM 2.0
Infinite state-space truncator which generates a probability within a window
Class List
Here are the classes, structs, unions and interfaces with brief descriptions:
[detail level 12]
 ▼Nstamina
 CInfCTMCModelGenerator
 COptions
 CProbState
 CStaminaCL
 CStaminaModelChecker
Generated by doxygen 1.9.3