A partial order approach to branching time logic model checking

Keyphrases

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

Computer Science

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