A Partial Order Approach to Branching Time Logic Model Checking

Keyphrases

• Branching-time Logics 100%
• Linear Temporal Logic 50%
• Logic Model Checking 100%
• Partial Order 100%
• Partial Order Reduction 50%
• Partial Order Techniques 50%
• Process Algebra 50%
• Program State 50%
• State Space 50%
• State Space Construction 50%
• State Space Explosion 50%
• Time Operator 50%

Computer Science

• Branching Time Logic 100%
• Experimental Result 33%
• Linear Temporal Logic 33%
• Model Checking 100%
• Partial Order 100%
• Partial Order Reduction 33%
• Process Algebra 33%
• Program State 33%
• State Space 100%
• Temporal Logic 33%