The following pages link to Automated Deduction – CADE-20 (Q5394609):
Displayed 9 items.
- Program verification with interacting analysis plugins (Q2642983) (← links)
- Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language (Q2947456) (← links)
- Enforcing Structural Invariants Using Dynamic Frames (Q3000638) (← links)
- Matching Logic: An Alternative to Hoare/Floyd Logic (Q3067473) (← links)
- Decidable Fragments of Many-Sorted Logic (Q3498453) (← links)
- Verifying Heap-Manipulating Programs in an SMT Framework (Q3510799) (← links)
- Abstracting Complex Data Structures by Hyperedge Replacement (Q3540389) (← links)
- An Efficient Decision Procedure for Imperative Tree Data Structures (Q5200043) (← links)
- An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures (Q5452601) (← links)