The following pages link to Mechanised Separation Algebra (Q2914753):
Displayed 6 items.
- Proof tactics for assertions in separation logic (Q1687747) (← links)
- A formal C memory model for separation logic (Q1694027) (← links)
- Refinement to imperative HOL (Q1739909) (← links)
- A Program Construction and Verification Tool for Separation Logic (Q2941173) (← links)
- Refinement to Imperative/HOL (Q2945637) (← links)
- (Q5875431) (← links)