Formal verification of a partial-order reduction technique for model checking

Keyphrases

• Reduction Method 100%
• Partial Order Reduction 100%
• Formal Verification 100%
• Mechanical Theorem Proving 100%
• Verification Problem 33%
• Protocol Analysis 33%
• Model Checker 33%
• Checking Algorithm 33%
• Practical Protocols 33%
• Cutout 33%
• Human Guidance 33%
• Guidance Model 33%
• Theorem Prover 33%
• Formal Metatheory 33%
• Metatheory 33%

Computer Science

• Model Checking 100%
• Partial Order Reduction 100%
• Formal Verification 100%
• Theorem Proving 75%
• Metatheory 50%
• Formalization 50%
• Speed-up 25%
• model checker 25%
• Model Checking Algorithm 25%
• Theorem Prover 25%
• Case Study 25%