Pages that link to "Item:Q2931805"
From MaRDI portal
The following pages link to High-level separation logic for low-level code (Q2931805):
Displaying 7 items.
- Verified abstract interpretation techniques for disassembling low-level self-modifying code (Q287369) (← links)
- Formally verifying exceptions for low-level code with separation logic (Q1683698) (← links)
- Fully abstract trace semantics for protected module architectures (Q1749116) (← links)
- Hoare-style logic for unstructured programs (Q2038040) (← links)
- A compositional natural semantics and Hoare logic for low-level languages (Q2852100) (← links)
- Improved Tool Support for Machine-Code Decompilation in HOL4 (Q2945632) (← links)
- Temporary Read-Only Permissions for Separation Logic (Q2988642) (← links)