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 4 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)
