Pages that link to "Item:Q2405270"
From MaRDI portal
The following pages link to Biabduction (and related problems) in array separation logic (Q2405270):
Displaying 6 items.
- An adaptation-complete proof system for local reasoning about cloud storage systems (Q2072067) (← links)
- Reasoning about block-based cloud storage systems via separation logic (Q2087457) (← links)
- Compositional satisfiability solving in separation logic (Q2234106) (← links)
- (Q4989410) (← links)
- Decision Procedure for Entailment of Symbolic Heaps with Arrays (Q5055997) (← links)
- (Q5111651) (← links)