Pages that link to "Item:Q2931805"
From MaRDI portal
The following pages link to High-level separation logic for low-level code (Q2931805):
Displaying 5 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)
- Improved Tool Support for Machine-Code Decompilation in HOL4 (Q2945632) (← links)
- Temporary Read-Only Permissions for Separation Logic (Q2988642) (← links)
