Pages that link to "Item:Q436400"
From MaRDI portal
The following pages link to Automated verification of shape, size and bag properties via user-defined predicates in separation logic (Q436400):
Displaying 6 items.
- Symbolic execution proofs for higher order store programs (Q287265) (← links)
- Verification of heap manipulating programs with ordered data by extended forest automata (Q300414) (← links)
- Verifying pointer safety for programs with unknown calls (Q604389) (← links)
- VST-Floyd: a separation logic tool to verify correctness of C programs (Q1663238) (← links)
- Compositional entailment checking for a fragment of separation logic (Q1688543) (← links)
- Nested antichains for WS1S (Q1733101) (← links)
