Improved model checking of hierarchical systems

Computer Science

• Model Checking 100%
• Branching Time 100%
• Model Checking Problem 66%
• Time Complexity 33%
• Temporal Logic 33%
• Model Checking Algorithm 33%
• And-States 33%
• Tree Automaton 33%
• State Transition 33%
• Transition Graph 33%

Keyphrases

• Hierarchical Systems 100%
• Branching Time 40%
• P-space 20%
• Checking Algorithm 20%
• Branching-time Logics 20%
• Time Model 20%
• System S 20%
• Parity Games 20%
• Time Complexity 20%
• Calculus 20%
• Abstraction Refinement 20%
• Time Specifications 20%
• Abstract State 20%
• Naive Algorithm 20%
• Alternating Tree Automata 20%
• Standard State 20%
• State Transition Graph 20%
• Game-based Approach 20%
• Hierarchical Game 20%