Pages that link to "Item:Q5255066"
From MaRDI portal
The following pages link to Verified just-in-time compiler on x86 (Q5255066):
Displaying 5 items.
- The reflective Milawa theorem prover is sound (down to the machine code that runs it) (Q286790) (← links)
- Verified abstract interpretation techniques for disassembling low-level self-modifying code (Q287369) (← links)
- Function extraction (Q436372) (← links)
- Unveiling metamorphism by abstract interpretation of code properties (Q2339470) (← links)
- A Verified Runtime for a Verified Theorem Prover (Q3088011) (← links)