Mechanical analysis of reliable communication in the alternating bit protocol using the maude invariant analyzer tool

Keyphrases

• Mechanical Analysis 100%
• Maude 100%
• Reliable Communication 100%
• InvA 100%
• Alternating Bit Protocol 100%
• Concurrent Systems 40%
• Degree of Automation 40%
• Safety Properties 20%
• Theorem Prover 20%
• Inference Rules 20%
• Tool Support 20%
• Rewrite Theory 20%
• Equational Theory 20%
• Induction Theorem 20%
• Deductive Verification 20%
• Infinite State 20%
• Proof Obligations 20%
• Equality Predicate 20%
• SMT Solving 20%
• Inductive Property 20%

Computer Science

• Reliable Communication 100%
• Concurrent System 100%
• Alternating Bit Protocol 100%
• Case Study 50%
• Theorem Prover 50%
• Inference Rule 50%
• Equational Theory 50%
• Inductive Theorem 50%
• Proof Obligation 50%
• Equality Predicate 50%

Engineering

• Reliable Communication 100%
• Illustrates 50%
• Surface Mount Technology 50%