The following pages link to Mechanised Separation Algebra (Q2914753):
Displaying 8 items.
- Trinity algebra and its application to machine decompositions (Q1098302) (← links)
- 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)
- Refinement of parallel algorithms down to LLVM: applied to practically efficient parallel sorting (Q6611962) (← links)