An Automata-Theoretic Approach to Branching-Time Model Checking

Keyphrases

• Automata 100%
• Branching Time 100%
• Time Model 100%
• Branching-time Logics 33%
• Theory Framework 16%
• Checking Algorithm 16%
• Linear Time 16%
• Effective Approach 16%
• Logic Formulas 16%
• Linear Temporal Logic 16%
• Verification Method 16%
• Complexity Bounds 16%
• Linear Complexity 16%
• Decision Procedure 16%
• Alternating Tree Automata 16%
• Combinatorial Structure 16%
• Optimal Decision 16%

Computer Science

• Automaton 100%
• Model Checking 100%
• Branching Time 100%
• Theoretic Approach 100%
• Temporal Logic 33%
• Theoretic Framework 16%
• Space Complexity 16%
• Model Checking Algorithm 16%
• Effective Approach 16%
• Tree Automaton 16%
• Linear Temporal Logic 16%
• Decision Procedure 16%