Complete symbolic reachability analysis using back-and-forth narrowing

Keyphrases

• Rewrite Rules 100%
• Term Rewriting Systems 100%
• Symbolic Reachability Analysis 100%
• General Terms 50%
• Reachability 50%
• Completeness Results 50%
• Concurrent Systems 50%
• Inference System 50%
• Axiomatization 50%
• Semi-decision Procedure 50%

Computer Science

• Reachability Analysis 100%
• Rewrite Rule 100%
• Concurrent System 50%
• Inference System 50%
• Decision Procedure 50%

Engineering

• Reachability 100%
• Rewrite Rule 66%
• Generality 33%
• Righthand Side 33%