Combining partial order reductions with on-the-fly model-checking

Keyphrases

• Partial Order 100%
• Ordered Models 100%
• Fly Model 100%
• Partial Order Reduction 100%
• State Space 50%
• Reachable States 50%
• Concurrent Programs 50%
• Model Checker 50%
• Reduced Time 50%
• Substantial Reduction 50%
• Automata 50%
• Fairness Assumptions 50%
• Gain Reduction 50%

Computer Science

• Model Checking 100%
• Partial Order Reduction 100%
• Partial Order 40%
• State Space 20%
• Concurrent Program 20%
• model checker 20%
• Automaton 20%
• Reachable State 20%