Pages that link to "Item:Q2828247"
From MaRDI portal
The following pages link to Model checking for symbolic-heap separation logic with inductive predicates (Q2828247):
Displaying 6 items.
- Reasoning about block-based cloud storage systems via separation logic (Q2087457) (← links)
- Automated mutual induction proof in separation logic (Q2414251) (← links)
- Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic (Q2988661) (← links)
- Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic (Q3179308) (← links)
- Disproving Inductive Entailments in Separation Logic via Base Pair Approximation (Q3455777) (← links)
- (Q5111651) (← links)
