Proving safety properties of rewrite theories

Keyphrases

• Concurrent Systems 66%
• Deductive Method 33%
• Deductive System 33%
• Degree of Automation 33%
• Equational Reasoning 33%
• Inductive Reasoning 33%
• Inference System 33%
• Maude 33%
• Narrowing Modulo 33%
• Proof Obligations 66%
• Proof of Safety 33%
• Reasoning Techniques 33%
• Reasoning Tools 33%
• Rewrite Rules 33%
• Rewrite Theory 100%
• Safety Properties 100%
• Temporal Reasoning 33%
• User Intervention 33%

Computer Science

• Concurrent System 100%
• Deductive System 50%
• Equational Proof 50%
• Inductive Reasoning 50%
• Inference System 50%
• Proof Obligation 100%
• Reasoning Technique 50%
• Rewrite Rule 50%