Pages that link to "Item:Q3075470"
From MaRDI portal
The following pages link to Refinement-Based CFG Reconstruction from Unstructured Programs (Q3075470):
Displaying 5 items.
- Verified abstract interpretation techniques for disassembling low-level self-modifying code (Q287369) (← links)
- Runtime verification of embedded real-time systems (Q479806) (← links)
- Abstract interpretation of microcontroller code: intervals meet congruences (Q2442953) (← links)
- Alternating Control Flow Reconstruction (Q2891419) (← links)
- Relational abstract interpretation of arrays in assembly code (Q6108433) (← links)