Pages that link to "Item:Q5705900"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705900):
Displaying 10 items.
- Reasoning about sequences of memory states (Q636268) (← links)
- Verify heaps via unified model checking (Q1986561) (← links)
- Completeness and expressiveness of pointer program verification by separation logic (Q2417849) (← links)
- A logic of reachable patterns in linked data-structures (Q2643337) (← links)
- On the Almighty Wand (Q3540188) (← links)
- A Spatial Equational Logic for the Applied π-Calculus (Q3541032) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- On Temporal and Separation Logics (Q5079764) (← links)
- (Q5155678) (← links)
- Program Verification with Separation Logic (Q5883571) (← links)
