Pages that link to "Item:Q5395670"
From MaRDI portal
The following pages link to Compositional Shape Analysis by Means of Bi-Abduction (Q5395670):
Displaying 30 items.
- Algebraic program analysis (Q832153) (← links)
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) (Q832157) (← links)
- Proof tactics for assertions in separation logic (Q1687747) (← links)
- Verify heaps via unified model checking (Q1986561) (← links)
- 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)
- A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585) (← links)
- Generalized arrays for Stainless frames (Q2152661) (← links)
- A learning-based approach to synthesizing invariants for incomplete verification engines (Q2208307) (← links)
- Selective monitoring (Q2221805) (← links)
- Strong-separation logic (Q2233486) (← links)
- Automated repair of heap-manipulating programs using deductive synthesis (Q2234087) (← links)
- Compositional satisfiability solving in separation logic (Q2234106) (← links)
- Invariants Synthesis over a Combined Domain for Automated Program Verification (Q2842643) (← links)
- Using Unified Model Checking to Verify Heaps (Q2958361) (← links)
- (Q3121529) (← links)
- Model Checking Concurrent Programs (Q3176376) (← links)
- Undecidability of Propositional Separation Logic and Its Neighbours (Q3189649) (← links)
- Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation (Q3297594) (← links)
- Disproving Inductive Entailments in Separation Logic via Base Pair Approximation (Q3455777) (← links)
- (Q4553286) (← links)
- (Q4989410) (← links)
- (Q5009434) (← links)
- Decision Procedure for Entailment of Symbolic Heaps with Arrays (Q5055997) (← links)
- On Temporal and Separation Logics (Q5079764) (← links)
- (Q5090983) (← links)
- (Q5376651) (← 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)
- A proof procedure for separation logic with inductive definitions and data (Q6053843) (← links)
