Results Analysis

• State_Space
• Global_Properties
• Reachability
• CTL
• LTL
• Upper_Bounds