Towards a unified proof framework for automated fixpoint reasoning using matching logic

Keyphrases

• Alternative Proof 25%
• Automated Reasoning 25%
• Computational Domain 25%
• Fixpoint 100%
• Formal System 50%
• Inductive Proofs 25%
• Inductive Reasoning 25%
• Knaster 25%
• Logical Formalism 25%
• Matching Logic 100%
• Mathematical Structure 25%
• Program Correctness 25%
• Proof Framework 100%
• Proof Rules 25%
• Proof System 25%
• Prover 50%
• Recent Advances 25%
• Separation Logic 25%
• Specific Domain 25%
• Syntax-directed 25%
• Tarski 25%
• Temporal Properties 25%
• Term Algebras 25%
• Unified Framework 75%

Computer Science

• Automated Reasoning 33%
• Computational Domain 33%
• Inductive Proof 33%
• Inductive Reasoning 33%
• Mathematical Structure 33%
• Practical Interest 33%
• Proof System 33%
• temporal property 33%
• Unified Framework 100%