Pages that link to "Item:Q5452612"
From MaRDI portal
The following pages link to Automated Verification of Shape and Size Properties Via Separation Logic (Q5452612):
Displaying 16 items.
- Completeness for recursive procedures in separation logic (Q278747) (← links)
- Automated verification of shape, size and bag properties via user-defined predicates in separation logic (Q436400) (← links)
- Verifying pointer safety for programs with unknown calls (Q604389) (← links)
- Automata-based verification of programs with tree updates (Q845236) (← links)
- Efficient bounded model checking of heap-manipulating programs using tight field bounds (Q2044185) (← links)
- A relational shape abstract domain (Q2058389) (← links)
- Automated mutual induction proof in separation logic (Q2414251) (← links)
- Completeness and expressiveness of pointer program verification by separation logic (Q2417849) (← links)
- Forest automata for verification of heap manipulation (Q2441715) (← links)
- Invariants Synthesis over a Combined Domain for Automated Program Verification (Q2842643) (← links)
- Crowfoot: A Verifier for Higher-Order Store Programs (Q2891407) (← links)
- Linear Arithmetic with Stars (Q3512499) (← links)
- Lightweight Separation (Q3543659) (← links)
- Beyond Shapes: Lists with Ordered Data (Q3617745) (← links)
- Automated Cyclic Entailment Proofs in Separation Logic (Q5200020) (← links)
- Decision Procedures for Multisets with Cardinality Constraints (Q5452719) (← links)
