The following pages link to On the almighty wand (Q418137):
Displayed 23 items.
- Verify heaps via unified model checking (Q1986561) (← links)
- Separation logic and logics with team semantics (Q2172820) (← links)
- Strong-separation logic (Q2233486) (← links)
- Separation logic with one quantified variable (Q2411038) (← links)
- A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints (Q2817951) (← links)
- Two-Variable Separation Logic and Its Inner Circle (Q2957697) (← links)
- Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic (Q2961583) (← links)
- Completeness for a First-Order Abstract Separation Logic (Q3179309) (← links)
- Automated Theorem Proving for Assertions in Separation Logic with All Connectives (Q3454118) (← links)
- (Q4553288) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- Trakhtenbrot’s Theorem in Coq (Q5048993) (← links)
- On Temporal and Separation Logics (Q5079764) (← links)
- (Q5090983) (← links)
- (Q5094147) (← links)
- (Q5111651) (← links)
- (Q5155678) (← links)
- Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction (Q5277913) (← links)
- A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions (Q5875940) (← links)
- Program Verification with Separation Logic (Q5883571) (← links)
- An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning (Q5918962) (← links)
- An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning (Q5925549) (← links)
- A Spatial Logic for Simplicial Models (Q6135777) (← links)