Pages that link to "Item:Q5348918"
From MaRDI portal
The following pages link to Verifying properties of well-founded linked lists (Q5348918):
Displayed 10 items.
- Automated verification of shape, size and bag properties via user-defined predicates in separation logic (Q436400) (← links)
- A shape graph logic and a shape system (Q744329) (← links)
- A logic of reachable patterns in linked data-structures (Q2643337) (← links)
- Enforcing Structural Invariants Using Dynamic Frames (Q3000638) (← links)
- Matching Logic: An Alternative to Hoare/Floyd Logic (Q3067473) (← links)
- Bounded Quantifier Instantiation for Checking Inductive Invariants (Q3303891) (← links)
- Verifying Heap-Manipulating Programs in an SMT Framework (Q3510799) (← links)
- Monotonic Abstraction for Programs with Dynamic Memory Heaps (Q3512503) (← links)
- Automata-Based Termination Proofs (Q3637353) (← links)
- An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures (Q5452601) (← links)