Partial order reduction: Model-checking using representatives

Keyphrases

• Partial Order Reduction 100%
• Concurrent Programs 100%
• Equivalence Class 100%
• Reduction Model 100%
• State Space 50%
• Partial Order 50%
• Reduction Approach 50%
• Ordered Models 50%
• Reduced State 50%
• Execution Sequence 50%
• State Space Explosion 50%

Computer Science

• Model Checking 100%
• Partial Order Reduction 100%
• Concurrent Program 66%
• Equivalence Class 66%
• State Space 33%
• Partial Order 33%
• Execution Sequence 33%
• Reduced State Space 33%